| Ident. | Authors (with country if any) | Title |
|---|
| 000063 |
Jilles Steeve Dibangoye [France] ; Christopher Amato [États-Unis] ; Olivier Buffet [France] ; François Charpillet [France] | Optimally Solving Dec-POMDPs as Continuous-State MDPs |
| 000072 |
Jean-Guillaume Dumas [France] ; Erich Kaltofen [États-Unis] ; Emmanuel Thomé [France] ; Gilles Villard [France] | Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix |
| 000088 |
Serena Ivaldi [France] ; Jan Babi [Slovénie] ; Michael Mistry [Royaume-Uni] ; Robin Murphy [États-Unis] | Special Issue on Whole-body control of contacts and dynamics for humanoid robots |
| 000106 |
Jasmin Christian Blanchette [France] ; Sascha Böhme [Allemagne] ; Mathias Fleury [France] ; Steffen Juilf Smolka [États-Unis] ; Albert Steckermeier [Allemagne] | Semi-intelligible Isar Proofs from Machine-Generated Proofs |
| 000119 |
Danesh Tarapore [Royaume-Uni] ; Jeff Clune [États-Unis] ; Antoine Cully [Royaume-Uni] ; Jean-Baptiste Mouret [France] | How Do Different Encodings Influence the Performance of the MAP-Elites Algorithm? |
| 000126 |
Rohit Chadha [États-Unis] ; Vincent Cheval [France] ; Tefan Ciobâc [Roumanie, France] ; Steve Kremer [France] | Automated verification of equivalence properties of cryptographic protocols |
| 000133 |
George P. Lisi [États-Unis] ; J. Patrick Loria [États-Unis] | Using NMR spectroscopy to elucidate the role of molecular motions in enzyme function. |
| 000135 |
Bertram Pitt [États-Unis] ; Patrick Rossignol [France] | The safety of mineralocorticoid receptor antagonists (MRAs) in patients with heart failure. |
| 000138 |
Tamara Toši [France] ; Kristin K. Sellers [États-Unis] ; Flavio Fröhlich [États-Unis] ; Mariia Fedotenkova [France] ; Peter Beim Graben [Allemagne] ; Axel Hutt [France] | Statistical Frequency-Dependent Analysis of Trial-to-Trial Variability in Single Time Series by Recurrence Plots |
| 000139 |
Deepak L. Bhatt [États-Unis] ; Marc P. Bonaca [États-Unis] ; Sameer Bansilal [États-Unis] ; Dominick J. Angiolillo [États-Unis] ; Marc Cohen [États-Unis] ; Robert F. Storey [Royaume-Uni] ; Kyungah Im [États-Unis] ; Sabina A. Murphy [États-Unis] ; Peter Held [Suède] ; Eugene Braunwald [États-Unis] ; Marc S. Sabatine [États-Unis] ; Ph Gabriel Steg [France] | Reduction in Ischemic Events with Ticagrelor in Diabetic Patients: From the PEGASUS-TIMI 54 Trial. |
| 000141 |
Marc F. Lensink [France] ; Sameer Velankar [Royaume-Uni] ; Andriy Kryshtafovych [États-Unis] ; Shen-You Huang [États-Unis] ; Dina Schneidman-Duhovny [États-Unis] ; Andrej Sali [États-Unis] ; Joan Segura [Espagne] ; Narcis Fernandez-Fuentes [Royaume-Uni] ; Shruthi Viswanath [États-Unis] ; Ron Elber [États-Unis] ; Sergei Grudinin [France] ; Petr Popov [France] ; Emilie Neveu [France] ; Hasup Lee [Corée du Sud] ; Minkyung Baek [Corée du Sud] ; Sangwoo Park [Corée du Sud] ; Lim Heo [Corée du Sud] ; Gyu Rie Lee [Corée du Sud] ; Chaok Seok [Corée du Sud] ; Sanbo Qin [États-Unis] ; Huan-Xiang Zhou [États-Unis] ; David W. Ritchie [France] ; Bernard Maigret [France] ; Marie-Dominique Devignes [France] ; Anisah Ghoorah ; Mieczyslaw Torchala [Royaume-Uni] ; Raphaël A G. Chaleil [Royaume-Uni] ; Paul A. Bates [Royaume-Uni] ; Efrat Ben-Zeev [Israël] ; Miriam Eisenstein [Israël] ; Surendra S. Negi [États-Unis] ; Zhiping Weng [États-Unis] ; Thom Vreven [États-Unis] ; Brian G. Pierce [États-Unis] ; Tyler M. Borrman [États-Unis] ; Jinchao Yu [États-Unis] ; Françoise Ochsenbein [États-Unis] ; Raphaël Guerois [États-Unis] ; Anna Vangone [France] ; João P G L M. Rodrigues [France] ; Gydo Van Zundert [France] ; Mehdi Nellen [France] ; Li Xue [France] ; Ezgi Karaca [France] ; Adrien S J. Melquiond [France] ; Koen Visscher [France] ; Panagiotis L. Kastritis [France] ; Alexandre M J J. Bonvin [France] ; Xianjin Xu [Pays-Bas] ; Liming Qiu [Pays-Bas] ; Chengfei Yan [Pays-Bas] ; Jilong Li [États-Unis] ; Zhiwei Ma [Pays-Bas] ; Jianlin Cheng [États-Unis] ; Xiaoqin Zou [Pays-Bas] ; Yang Shen [États-Unis] ; Lenna X. Peterson [États-Unis] ; Hyung-Rae Kim [États-Unis] ; Amit Roy [États-Unis] ; Xusi Han [États-Unis] ; Juan Esquivel-Rodriguez [États-Unis] ; Daisuke Kihara [États-Unis] ; Xiaofeng Yu [États-Unis] ; Neil J. Bruce [États-Unis] ; Jonathan C. Fuller [États-Unis] ; Rebecca C. Wade [États-Unis] ; Ivan Anishchenko [Allemagne] ; Petras J. Kundrotas [Allemagne] ; Ilya A. Vakser [Allemagne] ; Kenichiro Imai [États-Unis] ; Kazunori Yamada [États-Unis] ; Toshiyuki Oda [États-Unis] ; Tsukasa Nakamura [Japon] ; Kentaro Tomii [États-Unis] ; Chiara Pallara [Japon] ; Miguel Romero-Durana [Japon] ; Brian Jiménez-García [Japon] ; Iain H. Moal [Espagne] ; Juan Férnandez-Recio [Espagne] ; Jong Young Joung [Corée du Sud] ; Jong Yun Kim [Corée du Sud] ; Keehyoung Joo [Corée du Sud] ; Jooyoung Lee [Corée du Sud] ; Dima Kozakov [États-Unis] ; Sandor Vajda [États-Unis] ; Scott Mottarella [États-Unis] ; David R. Hall [États-Unis] ; Dmitri Beglov [États-Unis] ; Artem Mamonov [États-Unis] ; Bing Xia [États-Unis] ; Tanggis Bohnuud [États-Unis] ; Carlos A. Del Carpio [États-Unis] ; Eichiro Ichiishi [Japon] ; Nicholas Marze [États-Unis] ; Daisuke Kuroda [États-Unis] ; Shourya S. Roy Burman [États-Unis] ; Jeffrey J. Gray [États-Unis] ; Edrisse Chermak [Arabie saoudite] ; Luigi Cavallo [Arabie saoudite] ; Romina Oliva [Italie] ; Andrey Tovchigrechko [États-Unis] ; Shoshana J. Wodak [Canada] | Prediction of homo- and hetero-protein complexes by protein docking and template-based modeling: a CASP-CAPRI experiment. |
| 000160 |
Alain Thoraval [France] ; Frédéric Cappa [France] ; Yves Guglielmi [États-Unis] | Modélisation du comportement hydromécanique d’un versant calcaire poreux et fracturé – Impact de simplifications géométriques et d’une homogénéisation des propriétés hydromécaniques sur la qualité des prédictions |
| 000174 |
Matjaž Krnc [Slovénie] ; Jean-Sébastien Sereni [France] ; Rist Skrekovski [Slovénie] ; Zelealem Yilma [Qatar, États-Unis] | Closeness Centralization Measure for Two-mode Data of Prescribed Sizes |
| 000179 |
Guillaume Bosc [France] ; Philip Tan [États-Unis] ; Jean-François Boulicaut [France] ; Chedy Raïssi [France] ; Mehdi Kaytoue [France] | A Pattern Mining Approach to Study Strategy Balance in RTS Games |
| 000193 |
Jon Barker [Royaume-Uni] ; Ricard Marxer [Royaume-Uni] ; Emmanuel Vincent [France] ; Shinji Watanabe [États-Unis] | The third `CHiME' Speech Separation and Recognition Challenge: Dataset, task and baselines |
| 000284 |
David Adrian [France] ; Karthikeyan Bhargavan [France] ; Zakir Durumeric [France] ; Pierrick Gaudry [France] ; Matthew Green [États-Unis] ; J. Alex Halderman [France] ; Nadia Heninger [États-Unis] ; Drew Springall [États-Unis] ; Emmanuel Thomé [France] ; Luke Valenta [États-Unis] ; Benjamin Vandersloot [France] ; Eric Wustrow [France] ; Santiago Zanella-Béguelin [Canada] ; Paul Zimmermann [France] | Imperfect Forward Secrecy: How Diffie-Hellman Fails in Practice |
| 000316 |
Serdar Erbatur [Allemagne] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France] | Unification and Matching in Hierarchical Combinations of Syntactic Theories |
| 000321 |
Claudia-Lavinia Ignat [France] ; Gérald Oster [France] ; Olivia Fox [États-Unis] ; François Charoy [France] ; Valerie Shalin [États-Unis] | How Do User Groups Cope with Delay in Real-Time Collaborative Note Taking |
| 000339 |
Ahmed H. Abdelaziz [Allemagne] ; Shinji Watanabe [États-Unis] ; John R. Hershey [États-Unis] ; Emmanuel Vincent [France] ; Dorothea Kolossa [Allemagne] | Uncertainty propagation through deep neural networks |
| 000369 |
Nobutaka Ono [Japon] ; Zafar Rafii [États-Unis] ; Daichi Kitamura [France] ; Nobutaka Ito [Japon] ; Antoine Liutkus [France] | The 2015 Signal Separation Evaluation Campaign |
| 000372 |
Felix Weninger [Allemagne] ; Hakan Erdogan [États-Unis] ; Shinji Watanabe [États-Unis] ; Emmanuel Vincent [France] ; Jonathan Le Roux [États-Unis] ; John R. Hershey [États-Unis] ; Björn Schuller [Royaume-Uni] | Speech enhancement with LSTM recurrent neural networks and its application to noise-robust ASR |
| 000390 |
Elisa H. Barney Smith [États-Unis] ; Bart Lamiroy [France] | Effects of Clustering Algorithms on Typographic Reconstruction |
| 000440 |
Jilles Steeve Dibangoye [France] ; Christopher Amato [États-Unis] ; Olivier Buffet [France] ; François Charpillet [France] | Exploiting separability in multiagent planning with continuous-state mdps (extended abstract) |
| 000441 |
Andrew Reynolds [Suisse] ; Jasmin Christian Blanchette [France] ; Cesare Tinelli [France, États-Unis] | Model Finding for Recursive Functions in SMT |
| 000455 |
Jean-Guillaume Dumas [France] ; Erich Kaltofen [États-Unis] ; Emmanuel Thomé [France] | Interactive certificate for the verification of Wiedemann's Krylov sequence: application to the certification of the determinant, the minimal and the characteristic polynomials of sparse matrices |
| 000466 |
Guillaume Bonfante [France] ; Mohamed El-Aqqad [France] ; Benjamin Greenbaum [États-Unis] ; Mathieu Hoyrup [France] | Immune Systems in Computer Virology |
| 000483 |
Nefzi Bilel [France] ; Schott René [France] ; Ye-Qiong Song [France] ; G. Stacey Staples [États-Unis] ; Evangelia Tsiontsiou [France] | An Operator Calculus Approach for Multi-constrained Routing in Wireless Sensor Networks |
| 000561 |
Rémi Badonnel [France] ; Xiao Jin [États-Unis] ; Ata Shingo [Japon] ; Filip Turck [Belgique] ; Groza Voicu [Canada] ; Carlos Raniery Paula Dos Santos [Brésil] | Integrated Management in the Age of Big Data, Proceedings of the 14th IFIP/IEEE Symposium on Integrated Network and Service Management (IM 2015). |
| 000573 |
Antoine Liutkus [France] ; Derry Fitzgerald [Irlande (pays)] ; Zafar Rafii [États-Unis] | Scalable audio separation with light kernel additive modelling |
| 000575 |
Jonathan Le Roux [États-Unis] ; Emmanuel Vincent [France] ; John R. Hershey [États-Unis] ; Daniel P. W. Ellis [États-Unis] | MICbots: collecting large realistic datasets for speech and audio research using mobile robots |
| 000576 |
Thomas Pr Tzlich [Allemagne] ; Rachel Bittner [États-Unis] ; Antoine Liutkus [France] ; Meinard Müller [Allemagne] | Kernel additive modeling for interference reduction in multi-channel music recordings |
| 000580 |
Zafar Rafii [États-Unis] ; Antoine Liutkus [France] ; Bryan Pardo [États-Unis] | A simple user interface system for recovering patterns repeating in time and frequency in mixtures of sounds |
| 000630 |
Bart Lamiroy [France] ; Eric Ringger [États-Unis] | Document Recognition and Retrieval XXII |
| 000687 |
Otfried Cheong [Corée du Sud] ; Jeff Erickson [États-Unis] ; Monique Teillaud [France] | Proceedings of Computational Geometry (Dagstuhl Seminar 15111) |
| 000707 |
René Schott [France] ; G. Stacey Staples [États-Unis] | Generalized Zeon Algebras: Theory and Application to Multi-Constrained Path Problems |
| 000713 |
Fabien Lauer [France] ; Henrik Ohlsson [États-Unis] | Finding sparse solutions of systems of polynomial equations via group-sparsity optimization |
| 000716 |
Guillaume Moroz [France] ; Boris Aronov [États-Unis] | Computing the Distance between Piecewise-Linear Bivariate Functions |
| 000718 |
Luca Castelli Aleardi [France] ; Olivier Devillers [France] ; Jarek Rossignac [États-Unis] | Compact data structures for triangulations Name: Compact data structures for triangulations |
| 000720 |
Kristin K. Sellers [États-Unis] ; Davis V. Bennett [États-Unis] ; Axel Hutt [France] ; James Williams [États-Unis] ; Flavio Frohlich [États-Unis] | Awake versus Anesthetized: Layer-Specific Sensory Processing in Visual Cortex and Functional Connectivity between Cortical Areas |
| 000741 |
Gennady Khirich [États-Unis] ; J. Patrick Loria [États-Unis] | The complexity of protein energy landscapes studied by solution NMR relaxation dispersion experiments |
| 000742 |
João Pedro Ferreira [France] ; Nicolas Girerd [France] ; Pedro Bettencourt Medeiros [Portugal] ; Mário Santos [Portugal] ; Henrique Cyrne Carvalho [Portugal] ; Paulo Bettencourt [Portugal] ; David Kénizou [France] ; Javed Butler [États-Unis] ; Faiez Zannad [France] ; Patrick Rossignol [France] | Spot urine sodium excretion as prognostic marker in acutely decompensated heart failure: the spironolactone effect. |
| 000746 |
Antoine Cully [France] ; Jeff Clune [États-Unis] ; Danesh Tarapore [France] ; Jean-Baptiste Mouret [France] | Robots that can adapt like animals. |
| 000750 |
Kévin Duarte [France] ; Jean-Marie Monnez [France] ; Eliane Albuisson [France] ; Bertram Pitt [États-Unis] ; Faiez Zannad [France] ; Patrick Rossignol [France] | Prognostic Value of Estimated Plasma Volume in Heart Failure. |
| 000756 |
Cary Liptak [États-Unis] ; J Patrick Loria [États-Unis] | Movement and specificity in a modular DNA binding protein. |
| 000764 |
Axel Hutt [France] ; Anthony G. Hudetz [États-Unis] | Editorial: General anesthesia: from theory to experiments |
| 000765 |
Michael S. Kiernan [États-Unis] ; Douglas Gregory [États-Unis] ; Mark J. Sarnak [États-Unis] ; Patrick Rossignol [France] ; Joseph Massaro [États-Unis] ; Robb Kociol [États-Unis] ; Faiez Zannad [France] ; Marvin A. Konstam [États-Unis] | Early and late effects of high- versus low-dose angiotensin receptor blockade on renal function and outcomes in patients with chronic heart failure. |
| 000766 |
Tamara Toši [France] ; Peter Beim Graben [Allemagne] ; Kristin K. Sellers [États-Unis] ; Flavio Fröhlich [États-Unis] ; Axel Hutt [France] | Dynamics analysis of neural univariate time series by recurrence plots |
| 000769 |
Analia S. Loria [États-Unis, Géorgie (pays)] ; David M. Pollock [Géorgie (pays), États-Unis] ; Jennifer S. Pollock [Géorgie (pays), États-Unis] | Angiotensin II is required to induce exaggerated salt sensitivity in Dahl rats exposed to maternal separation |
| 000778 |
Thomas G. Von Lueder [Norvège] ; Nicolas Girerd [France] ; Dan Atar [Norvège] ; Stefan Agewall [Norvège] ; Zohra Lamiral [France] ; Mehmet Kanbay [Turquie] ; Bertram Pitt [États-Unis] ; Kenneth Dickstein [Norvège] ; Faiez Zannad [France] ; Patrick Rossignol [France] | Serum uric acid is associated with mortality and heart failure hospitalizations in patients with complicated myocardial infarction: findings from the High‐Risk Myocardial Infarction Database Initiative |
| 000794 |
Jamila Ben Slimane [Tunisie] ; Schott René [France] ; Yeqiong Song [France] ; G. Stacey Staples [États-Unis] ; Evangelia Tsiontsiou [France] ; Ye-Qiong Song [France] | Operator Calculus Algorithms for Multi-Constrained Paths |
| 000847 |
Kristin K. Sellers [États-Unis] ; Davis V. Bennett [États-Unis] ; Axel Hutt [France] ; James H. Williams [États-Unis] ; Flavio Frohlich [États-Unis] | Micro- and Mesoscale Impairment of Sensory Processing and Functional Connectivity in Cortex during Anesthesia |
| 000866 |
Manu J. Dubin ; Pei Zhang [République populaire de Chine] ; Dazhe Meng [République populaire de Chine] ; Marie-Stanislas Remigereau ; Edward J. Osborne ; Francesco Paolo Casale ; Philipp Drewe ; André Kahles ; Géraldine Jean [France] ; Bjarni Vilhjálmsson ; Joanna Jagoda ; Selen Irez ; Viktor Voronin [Autriche] ; Qiang Song [Canada] ; Quan Long [France] ; Gunnar R Tsch ; Oliver Stegle ; Richard M. Clark [États-Unis] ; Magnus Nordborg | DNA methylation in Arabidopsis has a genetic basis and shows evidence of local adaptation. |
| 000963 |
Jonathan Le Roux [États-Unis] ; Emmanuel Vincent [France] | A categorization of robust speech processing datasets |
| 000989 |
M. Said Seddiki [États-Unis] ; Muhammad Shahbaz [États-Unis] ; Sean Donovan [États-Unis] ; Sarthak Grover [États-Unis] ; Miseon Park [États-Unis] ; Nick Feamster [États-Unis] ; Ye-Qiong Song [France] | FlowQoS: QoS for the Rest of Us |
| 000993 |
Guillaume Bosc [France] ; Mehdi Kaytoue [France] ; Chedy Raïssi [France] ; Jean-François Boulicaut [France] ; Philip Tan [États-Unis] | Mining Balanced Sequential Patterns in RTS Games 1 |
| 000998 |
Michal Kraj Ansk [Allemagne] ; Jörg Hoffmann [Allemagne] ; Olivier Buffet [France] ; Alan Fern [États-Unis] | Learning Pruning Rules for Heuristic Search Planning |
| 000A13 |
Damien Doligez [France] ; Jael Kriener [France] ; Leslie Lamport [États-Unis] ; Tomer Libal [France] ; Stephan Merz [France] | Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics |
| 000A24 |
Damien Doligez [France] ; Jael Kriener [France] ; Leslie Lamport [États-Unis] ; Tomer Libal [France] ; Stephan Merz [France] | Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics |
| 000A33 |
Clark Barrett [États-Unis] ; Leonardo De Moura [États-Unis] ; Pascal Fontaine [France] | Proofs in satisfiability modulo theories |
| 000B38 |
Derry Fitzgerald [Irlande (pays)] ; Antoine Liutkus [France] ; Zafar Rafii [États-Unis] ; Bryan Pardo [États-Unis] ; Laurent Daudet [France] | Harmonic/Percussive Separation Using Kernel Additive Modelling |
| 000B68 |
Antoine Liutkus [France] ; Zafar Rafii [États-Unis] ; Bryan Pardo [États-Unis] ; Derry Fitzgerald [Irlande (pays)] ; Laurent Daudet [France] | Kernel Spectrogram models for source separation |
| 000B81 |
Jilles Steeve Dibangoye [France] ; Christopher Amato [États-Unis] ; Olivier Buffet [France] ; François Charpillet [France] | Exploiting Separability in Multiagent Planning with Continuous-State MDPs |
| 000B86 |
Patrizio Angelini [Italie] ; David Eppstein [États-Unis] ; Fabrizio Frati [Australie] ; Michael Kaufmann [Allemagne] ; Sylvain Lazard [France] ; Tamara Mchedlidze [Allemagne] ; Monique Teillaud [France] ; Alexander Wolff [Allemagne] | Universal Point Sets for Planar Graph Drawing with Circular Arcs |
| 000C14 |
Catherine Dubois [France] ; Dimitra Giannakopoulou [États-Unis] ; Dominique Méry [France] | Proceedings 1st Workshop on Formal Integrated Development Environment |
| 000C18 |
Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Catherine Meadows [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France] | On Asymmetric Unification and the Combination Problem in Disjoint Theories |
| 000C29 |
Chongyang Ma [États-Unis] ; Nicholas Vining [Canada] ; Sylvain Lefebvre [France] ; Alla Sheffer [Canada] | Game Level Layout from Design Specification |
| 000C33 |
Jilles Steeve Dibangoye [France] ; Christopher Amato [États-Unis] ; Olivier Buffet [France] ; François Charpillet [France] | Optimally solving Dec-POMDPs as Continuous-State MDPs: Theory and Algorithms |
| 000C59 |
Laurent Ciarletta [France] ; Leilani Gilpin [États-Unis] ; Yannick Presse [France] ; Vincent Chevrier [France] ; Virginie Galtier [France] | Co-simulation Solution using AA4MM-FMI applied to Smart Space Heating Models |
| 000C61 |
Sylvain Lefebvre [France] ; Samuel Hornus [France] ; Anass Lasram [États-Unis] | Per-Pixel Lists for Single Pass A-Buffer |
| 000C71 |
Fabien Lauer [France] ; Henrik Ohlsson [États-Unis] | Sparse phase retrieval via group-sparse optimization |
| 000C76 |
Michael Macfadden [États-Unis] ; Agustina Agustina [Singapour] ; Ning Gu [République populaire de Chine] ; Claudia-Lavinia Ignat [France] ; Haifeng Shen [Australie] ; David Sun [États-Unis] ; Chengzheng Sun [Singapour] | The Fourteenth International Workshop on Collaborative Editing Systems |
| 000C87 |
Linghai Zhang [États-Unis] ; Axel Hutt [France] | Traveling wave solutions of nonlinear scalar integral differential equations arising from synaptically coupled neuronal networks |
| 000C88 |
Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Catherine Meadows [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France] | Asymmetric Unification and the Combination Problem in Disjoint Theories |
| 000D26 |
Siva Anantharaman [France] ; Christopher Bouchard [États-Unis] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France] | Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining |
| 000D40 |
Zafar Rafii [États-Unis] ; Antoine Liutkus [France] ; Bryan Pardo [États-Unis] | REPET for Background/Foreground Separation in Audio |
| 000D42 |
Martin Abadi [États-Unis] ; Steve Kremer [France] | Principles of Security and Trust |
| 000D49 |
Eugene A. Feinberg [États-Unis] ; Jefferson Huang [États-Unis] ; Bruno Scherrer [France] | Modified policy iteration algorithms are not strongly polynomial for discounted dynamic programming |
| 000D61 |
David Doermann [États-Unis] ; Karl Tombre [France] | Handbook of Document Image Processing and Recognition |
| 000D65 |
Giorgio Ottaviani [Italie] ; Pierre-Jean Spaenlehauer [France] ; Bernd Sturmfels [États-Unis] | Exact Solutions in Structured Low-Rank Approximation |
| 000D77 |
Santosh K. C. [États-Unis] ; Laurent Wendling [France] ; Bart Lamiroy [France] | BoR: Bag-of-Relations for Symbol Retrieval |
| 000D80 |
Stéphane Demri [France] ; Deepak Kapur [États-Unis] ; Christoph Weidenbach [France] | Automated Reasoning – Seventh International Joint Conference (IJCAR 2014) |
| 000E30 |
Henri Casanova [États-Unis] ; Arnaud Giersch [France] ; Arnaud Legrand [France] ; Martin Quinson [France] ; Frédéric Suter [France] | Versatile, scalable, and accurate simulation of distributed applications and platforms |
| 000E33 |
Thai V. Hoang [France] ; Elisa H. Barney Smith [États-Unis] ; Salvatore Tabbone [France] | Sparsity-based edge noise removal from bilevel graphical document images |
| 000E40 |
Antoine Liutkus [France] ; Derry Fitzgerald [Irlande (pays)] ; Zafar Rafii [États-Unis] ; Bryan Pardo [États-Unis] ; Laurent Daudet [France] | Kernel Additive Models for Source Separation |
| 000E74 |
Katherine Edwards [États-Unis] ; Jan Van Den Heuvel [Royaume-Uni] ; Ross J. Kang [Pays-Bas] ; Jean-Sébastien Sereni [France] | Extension from Precoloured Sets of Edges |
| 000F04 |
Emmanuel Vincent [France] ; Jon Barker [Royaume-Uni] ; Shinji Watanabe [États-Unis] ; Jonathan Le Roux [États-Unis] ; Francesco Nesta [États-Unis] ; Marco Matassoni [Italie] | The Second 'CHiME' Speech Separation and Recognition Challenge: An overview of challenge systems and outcomes |
| 001031 |
Henri Casanova [États-Unis] ; Arnaud Giersch [France] ; Arnaud Legrand [France] ; Martin Quinson [France] ; Frédéric Suter [France] | SimGrid: a Sustained Effort for the Versatile Simulation of Large Scale Distributed Systems |
| 001044 |
Slim Ouni [France] ; Frédéric Berthommier [France] ; Alexandra Jesse [États-Unis] | The 12th International Conference on Auditory-Visual Speech Processing |
| 001051 |
Senjuti Basu Roy [États-Unis] ; Ioanna Lykourentzou [France] ; Saravanan Thirumuruganathan [États-Unis] ; Sihem Amer-Yahia [France] ; Gautam Das [États-Unis] | Crowds, not Drones: Modeling Human Factors in Interactive Crowdsourcing |
| 001073 |
Patrizio Angelini [Italie] ; David Eppstein [États-Unis] ; Fabrizio Frati [Australie] ; Michael Kaufmann [Allemagne] ; Sylvain Lazard [France] ; Tamara Mchedlidze [Allemagne] ; Monique Teillaud [France] ; Alexander Wolff [Allemagne] | Universal Point Sets for Planar Graph Drawings with Circular Arcs |
| 001085 |
Jilles Steeve Dibangoye [France] ; Christopher Amato [États-Unis] ; Olivier Buffet [France] ; François Charpillet [France] | Optimally Solving Dec-POMDPs as Continuous-State MDPs |
| 001087 |
Samuel Nicol [Australie] ; Olivier Buffet [France] ; Takuya Iwamura [États-Unis] ; Iadine Chadès [Australie] | Adaptive Management of Migratory Birds Under Sea Level Rise |
| 001100 |
Laurent Alonso [France] ; Edward M. Reingold [États-Unis] | Analysis of Boyer and Moore's MJRTY algorithm |
| 001121 |
Jilles Steeve Dibangoye [France] ; Christopher Amato [États-Unis] ; Olivier Buffet [France] ; François Charpillet [France] | Résolution exacte des Dec-POMDPs comme des MDPs continus |
| 001128 |
Daniel Leivant [États-Unis] ; Jean-Yves Marion [France] | Evolving graph-structures and their implicit computational complexity |
| 001141 |
Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France] | Hierarchical Combination of Unification Algorithms |
| 001199 |
Emmanuel Vincent [France] ; Jon Barker [Royaume-Uni] ; Shinji Watanabe [États-Unis] ; Jonathan Le Roux [États-Unis] ; Francesco Nesta [États-Unis] ; Marco Matassoni [Italie] | Overview of the 2nd 'CHiME' Speech Separation and Recognition Challenge |
| 001214 |
Emmanuel Vincent [France] ; Jon Barker [Royaume-Uni] ; Shinji Watanabe [États-Unis] ; Jonathan Le Roux [États-Unis] ; Francesco Nesta [Italie] ; Marco Matassoni [Italie] | The second 'CHiME' Speech Separation and Recognition Challenge: Datasets, tasks and baselines |
| 001231 |
Jilles Steeve Dibangoye [France] ; Christopher Amato [États-Unis] ; Arnaud Doniec [France] ; François Charpillet [France] | Producing efficient error-bounded solutions for transition independent decentralized MDPs |
| 001296 |
Agustina Agustina [Singapour] ; Ning Gu [République populaire de Chine] ; Claudia-Lavinia Ignat [France] ; Michael Macfadden [États-Unis] ; Haifeng Shen [Australie] ; David Sun [États-Unis] ; Chengzheng Sun [Singapour] | The Thirteenth International Workshop on Collaborative Editing Systems |
| 001325 |
Jonathan Le Roux [États-Unis] ; Emmanuel Vincent [France] | Consistent Wiener filtering for audio source separation |
| 001354 |
Zichun Zhong [États-Unis] ; Xiaohu Guo [États-Unis] ; Wenping Wang [République populaire de Chine] ; Bruno Lévy [France] ; Feng Sun [République populaire de Chine] ; Yang Liu [États-Unis] ; Weihua Mao [États-Unis] | Particle-based Anisotropic Surface Meshing |
| 001359 |
Vida Dujmovi [Canada] ; Will Evans [Canada] ; Sylvain Lazard [France] ; William Lenhart [États-Unis] ; Giuseppe Liotta [Italie] ; David Rappaport [Canada] ; Steve Wismath [Canada] | On Point-sets that Support Planar Graphs |
| 001372 |
Axel Hutt [France] ; Linghai Zhang [États-Unis] | Distributed nonlocal feedback delays may destabilize fronts in neural fields, distributed transmission delays do not |
| 001396 |
Madeline Wong [États-Unis] ; Gennady Khirich [États-Unis] ; J. Patrick Loria [États-Unis] | What’s in your buffer? Solute altered millisecond motions detected by solution NMR |
| 001399 |
Paola Loria [Italie] ; Amedeo Lonardo [Italie] ; Frank Anania [États-Unis] | Liver and diabetes. A vicious circle |
| 001407 |
Sean K. Whittier [États-Unis] ; Alvan C. Hengge [États-Unis] ; J. Patrick Loria [États-Unis] | Conformational motions regulate phosphoryl transfer in related protein tyrosine phosphatases |
| 001414 |
Nancy J. Aburto [Suisse] ; Sara Hanson [Suisse] ; Hialy Gutierrez [États-Unis] ; Lee Hooper [Royaume-Uni] ; Paul Elliott [Royaume-Uni] ; Francesco P. Cappuccio [Royaume-Uni] | Effect of increased potassium intake on cardiovascular risk factors and disease: systematic review and meta-analyses |
| 001448 |
Clark Barrett [États-Unis] ; Stéphane Demri [États-Unis, France] ; Morgan Deters [États-Unis] | Witness Runs for Counter Machines |
| 001452 |
Bruno Lévy [France] ; Nicolas Bonneel [France, États-Unis] | Variational Anisotropic Surface Meshing with Voronoi Parallel Linear Enumeration |
| 001469 |
Yu Deng [États-Unis] ; Liangzhao Zeng [États-Unis] | The 1st International Workshop on Analytics Services on the Cloud (ASC 2012) |
| 001487 |
Yaser Shanjani [États-Unis] ; Youxin Hu [Canada] ; Ehsan Toyserkani [Canada] ; Marc Grynpas [Canada] ; Rita A. Kandel [Canada] ; Robert M. Pilliar [Canada] | Solid freeform fabrication of porous calcium polyphosphate structures for bone substitute applications: In vivo studies |
| 001519 |
Winston W. Huh [États-Unis] ; Nancy E. Fitzgerald [États-Unis] ; Anita Mahajan [États-Unis] ; Andrea Hayes-Jordan [États-Unis] | Peritoneal sarcomatosis in pediatric malignancies |
| 001526 |
Christopher Bouchard [États-Unis] ; Kimberly A. Gero [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] | On Forward Closure and the Finite Variant Property |
| 001532 |
Haruna Takeda [Singapour, Japon] ; Hideto Koso [Singapour, Japon] ; Lino Tessarollo [États-Unis] ; Neal G. Copeland [Singapour, États-Unis] ; Nancy A. Jenkins [Singapour, États-Unis] | Musashi1‐CreERT2: A new cre line for conditional mutagenesis in neural stem cells |
| 001543 |
Jisun Choi [États-Unis] ; Sandra Bergquist-Beringer [États-Unis] ; Vincent S. Staggs [États-Unis] | Linking RN workgroup job satisfaction to pressure ulcers among older adults on acute care hospital units |
| 001545 |
Riccardo Haupt [Italie] ; Milen Minkov [Autriche] ; Itziar Astigarraga [Espagne] ; Eva Sch Fer [France] ; Vasanta Nanduri [Royaume-Uni] ; Rima Jubran [États-Unis] ; R. Maarten Egeler [Canada] ; Gritta Janka [Allemagne] ; Dragan Micic [Serbie] ; Carlos Rodriguez-Galindo [États-Unis] ; Stefaan Van Gool [Belgique] ; Johannes Visser [Royaume-Uni] ; Sheila Weitzman [Canada] ; Jean Donadieu [France] | Langerhans cell histiocytosis (LCH): Guidelines for diagnosis, clinical work‐up, and treatment for patients till the age of 18 years |
| 001571 |
Talal H. Noor [Australie] ; Quan Z. Sheng [Australie] ; Abdullah Alfazi [Australie] ; Jeriel Law [Australie] ; Anne H. H. Ngu [États-Unis] | Identifying Fake Feedback for Effective Trust Management in Cloud Environments |
| 001578 |
Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew M. Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France] | Hierarchical Combination |
| 001586 |
Daniel Leivant [États-Unis] ; Jean-Yves Marion [France] | Evolving Graph-Structures and Their Implicit Computational Complexity |
| 001595 |
Giacomo Bonanno [États-Unis] ; Hans Van Ditmarsch [France] ; Wiebe Van Der Hoek [Royaume-Uni] | Editorial Introduction to the Special Issue LOFT Sevilla |
| 001613 |
Hyun-Su Lee [États-Unis] ; Stanley J. Stachelek [États-Unis] ; Nancy Tomczyk [États-Unis] ; Matthew J. Finley [États-Unis] ; Russell J. Composto [États-Unis] ; David M. Eckmann [États-Unis] | Correlating macrophage morphology and cytokine production resulting from biomaterial contact |
| 001614 |
Bart Lamiroy [France] ; Tao Sun [États-Unis] | Computing Precision and Recall with Missing or Uncertain Ground Truth |
| 001616 |
Lauren M. Hamel [Irlande (pays)] ; Lorraine B. Robbins [États-Unis] | Computer‐ and web‐based interventions to promote healthy eating among children and adolescents: a systematic review |
| 001627 |
Slava Rom [États-Unis] ; Yuri Persidsky [États-Unis] | Cannabinoid Receptor 2: Potential Role in Immunomodulation and Neuroinflammation |
| 001632 |
Xiwei Xu [Australie] ; Ingo Weber [Australie] ; Liming Zhu [Australie] ; Yan Liu [États-Unis, Australie] ; Paul Rimba [Australie] ; Qinghua Lu [Australie] | BPMashup: Dynamic Execution of RESTful Processes |
| 001647 |
Dorina Magdalena Chipara [États-Unis] ; Maritza Flores [États-Unis] ; Alma Perez [États-Unis] ; Nancy Puente [États-Unis] ; Karen Lozano [États-Unis] ; Mircea Chipara [États-Unis] | Adding Autonomic Healing Capabilities to Polyethylene Oxide |
| 001678 |
Ying Li [République populaire de Chine] ; Shuiguang Deng [République populaire de Chine] ; Guoray Cai [États-Unis] ; Yuyu Yin [République populaire de Chine] | 2012 International Workshop on Data Intensive Services Based Application (DISA2012) |
| 001686 |
Raphael Fonteneau [Belgique] ; Susan A. Murphy [États-Unis] ; Louis Wehenkel [Belgique] ; Damien Ernst [Belgique] | Strategies d'échantillonnage pour l'apprentissage par renforcement batch |
| 001701 |
Robin Strand [Suède] ; Krzysztof Chris Ciesielski [États-Unis] ; Filip Malmberg [Suède] ; Punam K. Saha [États-Unis] | The minimum barrier distance |
| 001707 |
Pavel Naumov [États-Unis] ; Brittany Nicholls [États-Unis] | On interchangeability of Nash equilibria in multi-player strategic games |
| 001716 |
Wesley H. Holliday [États-Unis] ; Tomohiro Hoshi [États-Unis] ; Thomas F. Iii Icard [États-Unis] | Information dynamics and uniform substitution |
| 001742 |
Alexandre Casamayou [France] ; Nathann Cohen [France] ; Guillaume Connan [France] ; Thierry Dumont [France] ; Laurent Fousse [France] ; Francois Maltey [France] ; Matthias Meulien [France] ; Marc Mezzarobba [France] ; Clément Pernet [France] ; Nicolas M. Thiéry [États-Unis] ; Paul Zimmermann [France] | Calcul mathématique avec Sage |
| 001745 |
Andrew P. Dove [États-Unis] ; Jerrold R. Griggs [États-Unis] ; Ross J. Kang [Pays-Bas] ; Jean-Sébastien Sereni [France] | Supersaturation in the Boolean lattice |
| 001749 |
René Schott [France] ; G. Stacey Staples [États-Unis] | Operator calculus and invertible Clifford Appell systems: theory and application to the n-particle fermion algebra |
| 001824 |
Hugo Cruz-Sanchez [France] ; Stacey Staples [États-Unis] ; René Schott [France] ; Ye-Qiong Song [France] | Operator Calculus Approach to Minimal Paths: Precomputed routing in a Store and Forward Satellite Constellation |
| 001880 |
Mingqiang Xue [Singapour] ; Panagiotis Karras [États-Unis] ; Chedy Raïssi [France] ; Panos Kalnis [Arabie saoudite] ; Hung Keng Pung [Singapour] | Delineating social network data anonymization via random edge perturbation |
| 001977 |
Dimitra Giannakopoulou [États-Unis] ; Dominique Méry [France] | FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings |
| 001982 |
Denis Cousineau [France] ; Damien Doligez [France] ; Leslie Lamport [France] ; Stephan Merz [France] ; Daniel Ricketts [États-Unis] ; Hernán Vanzetto [France] | TLA+ Proofs |
| 001997 |
Jilles Steeve Dibangoye [France] ; Amato Christopher [États-Unis] ; Doniec Arnaud [France] | Scaling Up Decentralized MDPs Through Heuristic Search |
| 001998 |
Mingqiang Xue [Singapour] ; Panagiotis Karras [États-Unis] ; Chedy Raïssi [France] ; Jaideep Vaidya [États-Unis] ; Kian-Lee Tan [Singapour] | Anonymizing set-valued data by nonreciprocal recoding |
| 001A05 |
Frédéric Desprez [France] ; Geoffrey Fox [États-Unis] ; Emmanuel Jeannot [France] ; Kate Keahey [États-Unis] ; Michael Kozuch [États-Unis] ; David Margery [France] ; Pierre Neyron [France] ; Lucas Nussbaum [France] ; Christian Pérez [France] ; Olivier Richard [France] ; Warren Smith [États-Unis] ; Gregor Von Laszewski [États-Unis] ; Jens Vöckler [États-Unis] | Supporting Experimental Computer Science |
| 001A14 |
Iadine Chadès [Australie] ; Josie Carwardine [Australie] ; Tara Martin [Australie] ; Samuel Nicol [États-Unis] ; Régis Sabbadin [France] ; Olivier Buffet [France] | MOMDPs: a Solution for Modelling Adaptive Management Problems |
| 001A31 |
Razvan Barbulescu [France] ; Joppe Bos [Suisse] ; Cyril Bouvier [France] ; Thorsten Kleinjung [Suisse] ; Peter Montgomery [États-Unis] | Finding ECM-friendly curves through a study of Galois properties |
| 001A47 |
Joerg Hoffmann [France] ; Bart Selman [États-Unis] | Proceedings of the 26th AAAI Conference on Artificial Intelligence (AAAI'12) |
| 001A50 |
Denis Cousineau [France] ; Damien Doligez [France] ; Leslie Lamport [France] ; Stephan Merz [France] ; Daniel Ricketts [États-Unis] ; Hernán Vanzetto [France] | TLA+ Proofs |
| 001A56 |
Siva Anantharaman [France] ; Serdar Erbatur [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | Unification modulo Synchronous Distributivity |
| 001A75 |
Walid Taha [Suède] ; Paul Brauner [France] ; Yingfu Zeng ; Robert Cartwright [États-Unis] ; Veronica Gaspes [Suède] ; Aaron Ames [États-Unis] ; Alexandre Chapoutot [France] | A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report) |
| 001B08 |
Eva Banik [Royaume-Uni] ; Claire Gardent [France] ; Donia Scott [Royaume-Uni] ; Nikhil Dinesh [États-Unis] ; Fennie Linag [Royaume-Uni] | KBGen - Text Generation for Knowledge Bases as a New Shared Task |
| 001B43 |
David Bommes [France] ; Lévy Bruno [France] ; Nico Pietroni [Italie] ; Enrico Puppo [Italie] ; Claudio Silva [États-Unis] ; Marco Tarini [Italie] ; Denis Zorin [États-Unis] | State of the Art in Quad Meshing |
| 001B86 |
Frédéric Desprez [France] ; Geoffrey Fox [États-Unis] ; Emmanuel Jeannot [France] ; Kate Keahey [États-Unis] ; Michael Kozuch [États-Unis] ; David Margery [France] ; Pierre Neyron [France] ; Lucas Nussbaum [France] ; Christian Pérez [France] ; Olivier Richard [France] ; Warren Smith [États-Unis] ; Gregor Von Laszewski [États-Unis] ; Jens Vöckler [États-Unis] | Supporting Experimental Computer Science |
| 001B89 |
Bart Lamiroy [France] ; Daniel Lopresti [États-Unis] | The Non-Geek's Guide to the DAE Platform |
| 001C14 |
Siva Anantharaman [France] ; Christopher Bouchard [États-Unis] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France] | Unification modulo Chaining |
| 001C47 |
Guillaume Moroz [France] ; Boris Aronov [États-Unis] | Computing the Distance between Piecewise-Linear Bivariate Functions |
| 001C64 |
Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | String rewriting and security analysis: an extension of a result of Book and Otto |
| 001C91 |
René Schott [France] ; Stacey Staples [États-Unis] | Connected Components and Evolution of Random Graphs |
| 001C94 |
Miguel Couceiro [France] ; Mike Behrisch [Allemagne] ; Erkko Lehtonen [Luxembourg (pays)] ; Keith A. Kearnes [États-Unis] ; Ágnes Szendrei [États-Unis] | Commuting polynomial operations of distributive lattices |
| 001C97 |
Rohit Chadha [États-Unis] ; Vincent Cheval [Royaume-Uni] ; Stefan Ciobaca [Roumanie] ; Steve Kremer [France] | Automated Verification of Equivalence Properties of Cryptographic Protocols |
| 001D03 |
Laurent Bienvenu [France] ; Adam Day [États-Unis] ; Mathieu Hoyrup [France] ; Ilya Mezhirov [Allemagne] ; Alexander Shen [France] | A constructive version of Birkhoff's ergodic theorem for Martin-Lof random points |
| 001D07 |
Rebecca B. Berlow [États-Unis] ; Monalisa Swain [États-Unis] ; Shibani Dalal [États-Unis] ; Joann B. Sweasy [États-Unis] ; J. Patrick Loria [États-Unis] | Substrate-dependent millisecond domain motions in DNA polymerase β |
| 001D19 |
Roger M. Loria [États-Unis] ; Martin R. Graf | 17α-androstenediol-mediated oncophagy of tumor cells by different mechanisms is determined by the target tumor. |
| 001D25 |
Ted Mouw [États-Unis] ; Ashton M. Verdery [États-Unis] | Network Sampling with Memory |
| 001D83 |
Melissa L. Petras [États-Unis] ; Nancy M. Dunbar [États-Unis] ; James J. Filiano [États-Unis] ; Matthew S. Braga [États-Unis] ; Michael C. Chobanian [États-Unis] ; Zbigniew M. Szczepiorkowski [États-Unis] | Therapeutic plasma exchange in Streptococcus pneumoniae‐associated hemolytic uremic syndrome: A case report |
| 001D84 |
Jean-Yves Marion [France] ; Thomas Schwentick [Allemagne, États-Unis] | Theoretical Aspects of Computer Science |
| 001D85 |
Sarah A. Milgrom [États-Unis] ; Karyn A. Goodman [États-Unis] | The role of radiation therapy in the management of adrenal carcinoma and adrenal metastases |
| 001D88 |
Robert Dreicer [États-Unis] | Systemic therapy for advanced adrenal cancer |
| 001D89 |
Michael Tsinberg [États-Unis] ; Chienying Liu [États-Unis] ; Quan-Yang Duh [États-Unis] | Subclinical Cushing's syndrome |
| 001D94 |
Halit Eren Taskin [États-Unis] ; Eren Berber [États-Unis] | Robotic adrenalectomy |
| 001D95 |
Maeve Wallace [États-Unis] ; Marie-Josèphe Saurel-Cubizolles [France] | Returning to Work One Year After Childbirth: Data from the Mother–Child Cohort EDEN |
| 001D96 |
Halit Eren Taskin [États-Unis] ; Eren Berber [États-Unis] | Retroperitoneal tumors that may be confused as adrenal pathologies |
| 001D97 |
Matthew W. Buelow [États-Unis] ; Aaron Dall [États-Unis] ; Peter J. Bartz [États-Unis] ; James S. Tweddell [États-Unis] ; Jane Sowinski [États-Unis] ; Nancy Rudd [États-Unis] ; Lindsey Katzmark [États-Unis] ; Michael G. Earing [États-Unis] | Renal Dysfunction is Common Among Adults After Palliation for Previous Tetralogy of Fallot |
| 001D99 |
Jorge A. Carrasquillo [États-Unis] ; Neeta Pandit-Taskar [États-Unis] ; Clara C. Chen [États-Unis] | Radionuclide therapy of adrenal tumors |
| 001E00 |
Fernando Benavides [États-Unis] ; Carlos Perez [États-Unis] ; Jorge Blando [États-Unis] ; Oscar Contreras [États-Unis] ; Jianjun Shen [États-Unis] ; Lisa M. Coussens [États-Unis] ; Susan M. Fischer [États-Unis] ; Donna F. Kusewitt [États-Unis] ; John Digiovanni [États-Unis] ; Claudio J. Conti [États-Unis] | Protective role of cathepsin L in mouse skin carcinogenesis |
| 001E02 |
Robert M. Carey [États-Unis] | Primary aldosteronism |
| 001E04 |
Roy Phitayakorn [États-Unis] ; Christopher R. Mchenry [États-Unis] | Perioperative considerations in patients with adrenal tumors |
| 001E08 |
Vida Dujmovic [Canada] ; William Evans [Canada] ; Sylvain Lazard [France] ; William Lenhart [États-Unis] ; Giuseppe Liotta [Italie] ; David Rappaport [Canada] ; Stephen Wismath [Canada] | On Point-Sets That Support Planar Graphs |
| 001E11 |
Dipak S. Pisal [États-Unis] ; Matthew P. Kosloski [États-Unis] ; C. Russell Middaugh [États-Unis] ; Richard B. Bankert [États-Unis] ; Sathy V. Balu-Iyer [États-Unis] | Native‐like aggregates of factor VIII are immunogenic in von Willebrand factor deficient and hemophilia a mice |
| 001E17 |
Clara C. Chen [États-Unis] ; Jorge A. Carrasquillo [États-Unis] | Molecular imaging of adrenal neoplasms |
| 001E19 |
Ghayda M. Mirzaa [États-Unis] ; Robert L. Conway [États-Unis] ; Karen W. Gripp [États-Unis] ; Tally Lerman-Sagie [Israël] ; Dawn H. Siegel [États-Unis] ; Linda S. Devries [Pays-Bas] ; Dorit Lev [Israël] ; Nancy Kramer [États-Unis] ; Elizabeth Hopkins [États-Unis] ; John M. Graham Jr [États-Unis] ; William B. Dobyns [États-Unis] | Megalencephaly‐capillary malformation (MCAP) and megalencephaly‐polydactyly‐polymicrogyria‐hydrocephalus (MPPH) syndromes: Two closely related disorders of brain overgrowth and abnormal brain and body morphogenesis |
| 001E20 |
Kai A. Bickenbach [États-Unis] ; Vivian E. Strong [États-Unis] | Laparoscopic transabdominal lateral adrenalectomy |
| 001E21 |
Halit Eren Taskin [États-Unis] ; Allan Siperstein [États-Unis] ; Selcuk Mercan [Turquie] ; Eren Berber [États-Unis] | Laparoscopic posterior retroperitoneal adrenalectomy |
| 001E26 |
Joy Noel Baumgartner [États-Unis] ; Chelsea Morroni [Afrique du Sud] ; Regina Dlakulu Mlobeli [Afrique du Sud] ; Conrad Otterness ; Geoffrey Buga ; Mario Chen | Impact of a Provider Job Aid Intervention on Injectable Contraceptive Continuation in South Africa |
| 001E28 |
Tania C Rdova-Sintjago [États-Unis] ; Nancy Villa [États-Unis] ; Clinton Canal [États-Unis] ; Raymond Booth [États-Unis] | Human serotonin 5‐HT2C G protein‐coupled receptor homology model from the β2 adrenoceptor structure: Ligand docking and mutagenesis studies |
| 001E29 |
Peter J. Mazzaglia [États-Unis] | Hereditary pheochromocytoma and paraganglioma |
| 001E32 |
Brandon Itzkovitz [Canada] ; Sarn Jiralerspong [Canada] ; Graeme Nimmo [Canada] ; Melissa Loscalzo [États-Unis] ; Dafne D. G. Horovitz [Brésil] ; Ann Snowden [États-Unis] ; Ann Moser [États-Unis] ; Steve Steinberg [États-Unis] ; Nancy Braverman [Canada] | Functional characterization of novel mutations in GNPAT and AGPS, causing rhizomelic chondrodysplasia punctata (RCDP) types 2 and 3 |
| 001E40 |
James G. Bittner Iv [États-Unis] ; L. Michael Brunt [États-Unis] | Evaluation and management of adrenal incidentaloma |
| 001E44 |
Kosuke Izumi [États-Unis] ; Laura K. Conlin [États-Unis] ; Donna Berrodin [États-Unis] ; Christopher Fincher [États-Unis] ; Alisha Wilkens [États-Unis] ; Chad Haldeman-Englert [États-Unis] ; Sulagna C. Saitta [États-Unis] ; Elaine H. Zackai [États-Unis] ; Nancy B. Spinner [États-Unis] ; Ian D. Krantz [États-Unis] | Duplication 12p and Pallister–Killian syndrome: A case report and review of the literature toward defining a Pallister–Killian syndrome minimal critical region |
| 001E47 |
Betul A. Hatipoglu [États-Unis] | Cushing's syndrome |
| 001E49 |
Matthew C. Brennan [États-Unis] ; William F. Rayburn [États-Unis] | Counseling about risks of congenital anomalies from prescription opioids |
| 001E62 |
Jennifer Lafemina [États-Unis] ; Murray F. Brennan [États-Unis] | Adrenocortical carcinoma: Past, present, and future |
| 001E63 |
Melissa Li-Ng [États-Unis] ; Laurence Kennedy [États-Unis] | Adrenal insufficiency |
| 001E64 |
Ajit H. Goenka [États-Unis] ; Shetal N. Shah [États-Unis] ; Erick M. Remer [États-Unis] ; Eren Berber [États-Unis] | Adrenal imaging: A primer for oncosurgeons |
| 001E65 |
Bradley B. Pua [États-Unis] ; Stephen B. Solomon [États-Unis] | Ablative therapies in adrenal tumors: Primary and metastatic |
| 001F24 |
René Schott [France] ; G. Stacey Staples [États-Unis] | Operator Calculus on Graphs: Theory and Applications in Computer Science. |
| 001F36 |
Karim Belabas [France] ; Frits Beukers [Pays-Bas] ; Pierrick Gaudry [France] ; William Mccallum [États-Unis] ; Bjorn Poonen [États-Unis] ; Samir Siksek [Royaume-Uni] ; Michael Stoll [Allemagne] ; Mark Watkins | Explicit methods in number theory. Rational points and Diophantine equations. |
| 001F45 |
Daniel Král' [Royaume-Uni] ; Chun-Hung Liu [États-Unis] ; Jean-Sébastien Sereni [France] ; Peter Whalen [États-Unis] ; Zelealem Yilma [France] | A new bound for the 2/3 conjecture |
| 001F72 |
René Schott [France] ; Stacey Staples [États-Unis] | On the Role of Blade Factorization in Constructing Clifford Appell Systems |
| 002036 |
Mingqiang Xue [Singapour] ; Panagiotis Karras [États-Unis] ; Chedy Raïssi [France] ; Hung Keng Pung [Singapour] | Utility-Driven Anonymization in Data Publishing |
| 002066 |
Olivier Beaumont [France] ; Laurent Bobelin [France] ; Henri Casanova [États-Unis] ; Pierre-Nicolas Clauss [France] ; Bruno Donassolo [Brésil] ; Lionel Eyraud-Dubois [France] ; Stéphane Genaud [France] ; Sascha Hunold [France] ; Arnaud Legrand [France] ; Martin Quinson [France] ; Cristian Rosa [France] ; Lucas Schnorr [France] ; Mark Stillwell [France] ; Frédéric Suter [France] ; Christophe Thiery [France] ; Pedro Velho [France] ; Jean-Marc Vincent [France] ; Young Won [France] | Towards Scalable, Accurate, and Usable Simulations of Distributed Applications and Systems |
| 002068 |
Laurent Alonso [France] ; Edward M. Reingold [États-Unis] | Improved bounds for cops-and-robber pursuit |
| 002088 |
Kristina Striegnitz [États-Unis] ; Alexandre Denis [France] ; Andrew Gargett [Émirats arabes unis] ; Konstantina Garoufi [Allemagne] ; Alexander Koller [Allemagne] ; Mariet Theune [Pays-Bas] | Report on the Second Second Challenge on Generating Instructions in Virtual Environments (GIVE-2.5) |
| 002102 |
Vida Dujmovi [Canada] ; Will Evans [Canada] ; Sylvain Lazard [France] ; William Lenhart [États-Unis] ; Giuseppe Liotta [Italie] ; David Rappaport [Canada] ; Steve Wismath [Canada] | On Point-sets that Support Planar Graphs |
| 002114 |
Bart Lamiroy [France] ; Daniel Lopresti [États-Unis] ; Tao Sun [États-Unis] | Document Analysis Algorithm Contributions in End-to-End Applications: Report on the ICDAR 2011 Contest |
| 002116 |
Bart Lamiroy [France] ; Daniel Lopresti [États-Unis] | An Open Architecture for End-to-End Document Analysis Benchmarking |
| 002118 |
Jin Chen [États-Unis] ; Daniel Lopresti [États-Unis] ; Bart Lamiroy [France] | A Real-World Noisy Unstructured Handwritten Notebook Corpus for Document Image Analysis Research |
| 002125 |
Bart Lamiroy [France] ; Tao Sun [États-Unis] | Precision and Recall Without Ground Truth |
| 002135 |
Thai V. Hoang [Viêt Nam] ; Elisa H. Barney Smith [États-Unis] ; Salvatore Tabbone [France] | Edge noise removal in bilevel graphical document images using sparse representation |
| 002153 |
Siva Anantharaman [France] ; Christopher Bouchard [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | Unification modulo Block Chaining |
| 002205 |
Jean-Charles Lamirel [France] ; Raghvendra Mall [Inde] ; Pascal Cuxac [France] ; Ghada Safi [États-Unis] | Variations to incremental growing neural gas algorithm based on label maximization |
| 002247 |
Tarek El-Ghazawi [États-Unis] ; Frédéric Pinel [Luxembourg (pays)] ; El-Ghazali Talbi [France] ; Stéphane Vialle [France] ; Pascal Bouvry [Luxembourg (pays)] | Graphical Processing Units (GPUs): Opportunities and Challenges |
| 002280 |
Iadine Chadès [Australie] ; Josie Carwardine [Australie] ; Tara Martin [Australie] ; Samuel Nicol [États-Unis] ; Olivier Buffet [France] | Les POMDP: une solution pour modéliser des problèmes de gestion adaptative en biologie de la conservation |
| 002308 |
Jean-Charles Lamirel [France] ; Shadi Al Shehabi [Syrie] ; Ghada Safi [États-Unis] | A new label maximization based incremental neural clustering approach: application to text clustering |
| 002341 |
Jean-Charles Lamirel [France] ; Raghvendra Mall [Inde] ; Pascal Cuxac [France] ; Ghada Safi [États-Unis] | A new efficient and unbiased approach for clustering quality evaluation |
| 002362 |
Pierre-Nicolas Clauss [France] ; Mark Stillwell [États-Unis] ; Stéphane Genaud [France] ; Frédéric Suter [France] ; Henri Casanova [États-Unis] ; Martin Quinson [France] | Single Node On-Line Simulation of MPI Applications with SMPI |
| 002385 |
Mingqiang Xue [Singapour] ; Panagiotis Papadimitriou [États-Unis] ; Chedy Raïssi [France] ; Panagiotis Kalnis [Arabie saoudite] ; Hung Keng Pung [Singapour] | Distributed Privacy Preserving Data Collection |
| 002389 |
Walid Taha [Suède] ; Paul Brauner [France] ; Robert Cartwright [États-Unis] ; Veronica Gaspes [Suède] ; Aaron Ames [États-Unis] ; Alexandre Chapoutot [France] | A core language for executable models of cyber physical systems: work in progress report |
| 002441 |
Guodong Rong [États-Unis] ; Yang Liu [France] ; Wenping Wang [Hong Kong] ; Xaotian Yin [États-Unis] ; Xianfeng Gu [États-Unis] ; Xiaohu Guo [États-Unis] | GPU-Assisted Computation of Centroidal Voronoi Tessellation |
| 002475 |
Bart Lamiroy [France] ; Daniel Lopresti [États-Unis] ; Hank Korth [États-Unis] ; Jeff Heflin [États-Unis] | How Carefully Designed Open Resource Sharing Can Help and Expand Document Analysis Research |
| 002476 |
Fabien Lauer [France] ; Gérard Bloch [France] ; René Vidal [États-Unis] | A continuous optimization framework for hybrid system identification |
| 002492 |
Boris Aronov [États-Unis] ; Otfried Cheong [Corée du Sud] ; Xavier Goaoc [France] ; Rote Günter | Lines Pinning Lines |
| 002502 |
Nicolas Doucet [Canada] ; J Patrick Loria [États-Unis] | Relaxation Dispersion Studies of Enzyme Motions |
| 002504 |
Peter Gacs [États-Unis] ; Mathieu Hoyrup [France] ; Cristobal Rojas [Canada] | Randomness on Computable Probability Spaces—A Dynamical Point of View |
| 002516 |
Leo Ghemtio [France] ; Malika Smaïl-Tabbone [France] ; Appolinaire Djikeng [États-Unis] ; Marie-Dominique Devignes [France] ; Lionel Keminse [Cameroun] ; Patricia Kelbert [France] ; Joseph Fokam [Cameroun] ; Bernard Maigret [France] ; Odile Ouwe-Missi-Oukem-Boyer [Cameroun] | HIV-PDI: A Protein-Drug Interaction Resource for Structural Analyses of HIV Drug Resistance: 1. Concepts and Associated Database |
| 002517 |
Leo Ghemtio [France] ; Michel Souchet [France] ; Appolinaire Djikeng [États-Unis] ; Lionel Keminse [France] ; Patricia Kelbert [France] ; David Ritchie [France] ; Bernard Maigret [France] ; Odile Ouwe-Missi-Oukem-Boyer [Cameroun] | HIV-PDI: A Protein Drug Interaction Resource for Structural Analyses of HIV Drug Resistance: 2. Examples of Use and Proof-of-Concept |
| 002522 |
Sylvain Chevillard [France] ; John Harrison [États-Unis] ; Mioara Maria Joldes [France] ; Christoph Lauter [États-Unis] | Efficient and accurate computation of upper bounds of approximation errors |
| 002523 |
Nicolas Bonneel [France] ; Michiel Van De Panne [Canada] ; Sylvain Paris [États-Unis] ; Wolfgang Heidrich [Canada] | Displacement interpolation using Lagrangian mass transport |
| 002526 |
Gaetan Bisson [Pays-Bas] ; Andrew V. Sutherland [États-Unis] | Computing the endomorphism ring of an ordinary elliptic curve over a finite field |
| 002535 |
Philippe De Groote [France] ; Sylvain Pogodalla [France] ; Carl Pollard [États-Unis] | About Parallel and Syntactocentric Formalisms: A Perspective from the Encoding of Convergent Grammar into Abstract Categorial Grammar |
| 002545 |
Eric D. Watt [États-Unis] ; Ivan Rivalta [États-Unis] ; Sean K. Whittier [États-Unis] ; Victor S. Batista [États-Unis] ; J. Patrick Loria [États-Unis] | Reengineering Rate-Limiting, Millisecond Enzyme Motions by Introduction of an Unnatural Amino Acid |
| 002549 |
Gregory Manley [États-Unis] ; J. Patrick Loria [États-Unis] | NMR insights into protein allostery |
| 002626 |
Matthias Horbach [États-Unis] | System Description: SPASS-FD |
| 002652 |
Matthias Horbach [États-Unis, Allemagne] | Predicate Completion for non-Horn Clause Sets |
| 002653 |
Javier Baliosian [Uruguay] ; Joan Serrat [Espagne, États-Unis] ; Matias Richart [Uruguay] ; Juan Saavedra [Uruguay] ; Mariela Borba [Uruguay] ; Jose Luis Melus [Espagne] | Policy-Based Pricing for Heterogeneous Wireless Access Networks |
| 002660 |
Kristoffer H. Rose [États-Unis] ; Roel Bloo [Pays-Bas] ; Frédéric Lang [France] | On Explicit Substitution with Names |
| 002671 |
Otfried Cheong [Corée du Sud, États-Unis] ; Xavier Goaoc [France] ; Andreas Holmsen [Corée du Sud, États-Unis] | Lower bounds to helly numbers of line transversals to disjoint congruent balls |
| 002673 |
Yves Rangoni [France] ; Abdel Belaïd [France] ; Szilárd Vajda [Allemagne, États-Unis] | Labelling logical structures of document images using a dynamic perceptive neural network |
| 002701 |
Srikanth Seethala ; Friedrich Knollman ; Dennis Mcnamara [États-Unis] ; Samir Saba [États-Unis] ; Frank Schwender [États-Unis] ; David Schwartzman [États-Unis] ; Jan N Mec [États-Unis] | Exercise‐Induced Atrial and Ventricular Tachycardias in a Patient with Left Ventricular Noncompaction and Normal Ejection Fraction |
| 002714 |
Daniel Lopresti [États-Unis] ; Bart Lamiroy [France] | Document Analysis Research in the Year 2021 |
| 002725 |
Carl Pollard [États-Unis] | Covert Movement in Logical Grammar |
| 002728 |
René Schott [France] ; G. Stacey Staples [États-Unis] | Connected components and evolution of random graphs: an algebraic approach |
| 002734 |
Murielle Mimeault [États-Unis] ; Surinder K. Batra [États-Unis] | Complex Oncogenic Signaling Networks Regulate Brain Tumor‐Initiating Cells and Their Progenies: Pivotal Roles of Wild‐Type EGFR, EGFRvIII Mutant and Hedgehog Cascades and Novel Multitargeted Therapies |
| 002738 |
Christoph Benzmüller [États-Unis] | Combining and automating classical and non-classical logics in classical higher-order logics |
| 002749 |
Jarek Rossignac [États-Unis] | Ball-Based Shape Processing |
| 002766 |
Laurent Bienvenu [France] ; Peter Gács [États-Unis] ; Mathieu Hoyrup [France] ; Cristobal Rojas [Canada] ; Alexander Shen [France] | Algorithmic tests and randomness with respect to a class of measures |
| 002779 |
Gaetan Bisson [France, Pays-Bas] ; Andrew V. Sutherland [États-Unis] | A low-memory algorithm for finding short product representations in finite groups |
| 002794 |
Svetlana Poznanovi [États-Unis] | A Bijection Between Partially Directed Paths in the SymmetricWedge and Matchings |
| 002811 |
Bart Lamiroy [France] ; Daniel Lopresti [États-Unis] ; Hank Korth [États-Unis] ; Jeff Heflin [États-Unis] | How Carefully Designed Open Resource Sharing Can Help and Expand Document Analysis Research |
| 002812 |
S. Chevillard [France] ; J. Harrison [États-Unis] ; M. Joldes [France] ; Ch. Lauter [France] | Efficient and accurate computation of upper bounds of approximation errors |
| 002815 |
Christopher Lynch [États-Unis] ; Silvio Ranise [Italie] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [Namibie] | Automatic decidability and combinability |
| 002838 |
Stijn Heymans [États-Unis] ; Joerg Hoffmann [France] ; Annapaola Marconi [Italie] ; Joshua Phlipps [États-Unis] ; Ingo Weber [Australie] | Semantic Web Services Fundamentals |
| 002844 |
René Schott [France] ; G. Stacey Staples [États-Unis] | Nilpotent adjacency matrices and random graphs |
| 002900 |
Fabien Lauer [France] ; Gérard Bloch [France] ; René Vidal [États-Unis] | Nonlinear Hybrid System Identification with Kernel Models |
| 002993 |
Bart Lamiroy [France] ; Daniel Lopresti [États-Unis] | A Platform for Storing, Visualizing, and Interpreting Collections of Noisy Documents |
| 002A02 |
Frédéric Beck [France] ; Olivier Festor [France] ; Isabelle Chrisment [France] ; Ralph Droms [États-Unis] | Automated and Secure IPv6 Configuration in Enterprise Networks |
| 002B70 |
Franck Vidal [États-Unis] ; Pierre-Frédéric Villard [Royaume-Uni] ; Manuel Garnier [France] ; Nicolas Freud [France] ; J. M. Létang [France] ; Nigel John [Royaume-Uni] ; Fernando Bello [Royaume-Uni] | Joint Simulation of Transmission X-ray Imaging on GPU and Patient's Respiration on CPU |
| 002B72 |
Kaustuv Chaudhuri [France] ; Damien Doligez [France] ; Leslie Lamport [États-Unis] ; Stephan Merz [France] | Verifying Safety Properties With the TLA+ Proof System |
| 002C03 |
Frédéric Beck [France] ; Isabelle Chrisment [France] ; Ralph Droms [États-Unis] ; Olivier Festor [France] | Autonomic Renumbering in the Future Internet |
| 002D13 |
Madhumita V. Joshi [Royaume-Uni, États-Unis] ; Stefan G. Mann [Royaume-Uni] ; Haike Antelmann [Royaume-Uni] ; David Widdick [Royaume-Uni] ; Joanna K. Fyans [Royaume-Uni] ; Govind Chandra [Royaume-Uni] ; Matthew I. Hutchings [Royaume-Uni] ; Ian Toth [Royaume-Uni] ; Michael Hecker [Royaume-Uni] ; Rosemary Loria [Royaume-Uni, États-Unis] ; Tracy Palmer [Royaume-Uni] | The Tat pathway exports multiple virulence proteins in the plant pathogen Streptomyces scabies |
| 002D25 |
Ares Lagae [France] ; Sylvain Lefebvre [France] ; Rob Cook [États-Unis] ; Tony Derose [États-Unis] ; George Drettakis [France] ; D. S. Ebert [États-Unis] ; J. P. Lewis [Nouvelle-Zélande] ; Ken Perlin [États-Unis] ; Matthias Zwicker [États-Unis] | State of the Art in Procedural Noise Functions |
| 002D46 |
Louis-Claude Canon [France] ; Emmanuel Jeannot [France] ; Jon Weissman [États-Unis] | A Dynamic Approach for Characterizing Collusion in Desktop Grids |
| 002D65 |
Xuesong Lu [Singapour] ; Tok Wee Hyong [États-Unis] ; Chedy Raïssi [France] ; Stéphane Bressan [Singapour] | A Simple, Yet Effective and Efficient, Sliding Window Sampling Algorithm |
| 002E72 |
Andrew Teel [États-Unis] ; Dragan Nesic [Australie] ; Antonio Loria [France] ; Elena Panteley [France] | Summability Characterizations of Uniform Exponential and Asymptotic Stability of Sets For Difference Inclusions |
| 002E77 |
René Schott [France] ; Stacey Staples [États-Unis] | Reductions in computational complexity using Clifford algebras |
| 002E90 |
Erin Wolf Chambers [États-Unis] ; Eric Colin De Verdière [France] ; Jeff Erickson [États-Unis] ; Sylvain Lazard [France] ; Francis Lazarus [France] ; Shripad Thite [États-Unis] | Homotopic Fréchet Distance Between Curves or, Walking Your Dog in the Woods in Polynomial Time |
| 002E93 |
Tony Bourdier [France] ; Horatiu Cirstea [France] ; Daniel Dougherty [États-Unis] ; Hélène Kirchner [France] | Extensional and Intensional Strategies |
| 002F10 |
Laurent Alonso [France] ; Edward M. Reingold [États-Unis] | Bounds for Cops and Robber Pursuit |
| 002F16 |
Hiromasa Suzuki [Japon] ; Bruno Lévy [France] ; Dinesh Manocha [États-Unis] ; Hong Qin [États-Unis] | ACM Symposium on Solid and Physical Modeling and Applications 2008 |
| 002F22 |
Catherine M. Loria [États-Unis] ; Caroline Signore [États-Unis] ; S. Sonia Arteaga [États-Unis] | The Need for Targeted Weight-Control Approaches in Young Women and Men |
| 002F24 |
James Lipchock [États-Unis] ; J. Patrick Loria [États-Unis] | Nanometer propagation of millisecond motions in V-type allostery |
| 002F39 |
Jerome L. Abramson [États-Unis] ; Cheryl Lewis [États-Unis] ; Nancy V. Murrah [États-Unis] | Relationship of Self-Reported Alcohol Consumption to Ambulatory Blood Pressure in a Sample of Healthy Adults |
| 002F43 |
Hilary M. Babcock [États-Unis] ; Nancy Gemeinhart [États-Unis] ; Marilyn Jones [États-Unis] ; W. Claiborne Dunagan [États-Unis] ; Keith F. Woeltje [États-Unis] | Mandatory Influenza Vaccination of Health Care Workers: Translating Policy to Practice |
| 002F61 |
Christian Le Bas [France] ; William Latham [États-Unis] | Répartition spatiale et mobilité des inventeurs prolifiques français. Un exercice de géographie de l’innovation |
| 002F96 |
Nicolas Dobigeon [France] ; Saïd Moussaoui [France] ; Martial Coulon [France] ; Jean-Yves Tourneret [France] ; Alfred O. Hero [États-Unis] | Algorithmes bayésiens pour le démélange supervisé, semi-supervisé et non-supervisé d’images hyperspectrales |
| 003002 |
Siva Anantharaman [France] ; Hai Lin [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | Unification Modulo Homomorphic Encryption |
| 003003 |
Yuliy Baryshnikov [États-Unis] ; Wil Brady [États-Unis] ; Andrew Bressler [États-Unis] ; Robin Pemantle [États-Unis] | Two-dimensional Quantum Random Walk |
| 003011 |
Mathias S. Wickleder [Allemagne] ; Blandine Fourest [France] ; Peter K. Dorhout [États-Unis] | Thorium |
| 003013 |
Andrew Sweeting [États-Unis] | The effects of mergers on product positioning: evidence from the music radio industry |
| 003038 |
Rajeev Joshi [États-Unis] | Programming with Miracles |
| 003045 |
Eileen T. Lake [États-Unis] ; Jingjing Shang [États-Unis] ; Susan Klaus [États-Unis] ; Nancy E. Dunton [États-Unis] | Patient falls: Association with hospital Magnet status and nursing unit staffing |
| 003046 |
Alexander H. Hoon Jr. [États-Unis] ; Andreia Vasconcellos Faria [États-Unis] | Pathogenesis, neuroimaging and management in children with cerebral palsy born preterm |
| 003051 |
Philip Feinsilver [États-Unis] ; René Schott [France] | On Krawtchouk Transforms |
| 003052 |
Susan S. Harris [États-Unis] ; Bess Dawson-Hughes [États-Unis] | No effect of bicarbonate treatment on insulin sensitivity and glucose control in non-diabetic older adults |
| 003058 |
Boris Aronov [États-Unis] ; Otfried Cheong [Corée du Sud, États-Unis] ; Xavier Goaoc [France] ; Günter Rote [Allemagne] | Lines Pinning Lines |
| 003073 |
Hyejin Hwang [États-Unis] ; Jianpeng Zhang [États-Unis] ; Kathryn A. Chung [États-Unis] ; James B. Leverenz [États-Unis] ; Cyrus P. Zabetian [États-Unis] ; Elaine R. Peskind [États-Unis] ; Joseph Jankovic [États-Unis] ; Zhen Su [États-Unis] ; Aneeka M. Hancock [États-Unis] ; Catherine Pan [États-Unis] ; Thomas J. Montine [États-Unis] ; Sheng Pan [États-Unis] ; John Nutt [États-Unis] ; Roger Albin [États-Unis] ; Marla Gearing [États-Unis] ; Richard P. Beyer [États-Unis] ; Min Shi [États-Unis] ; Jing Zhang [États-Unis] | Glycoproteomics in neurodegenerative diseases |
| 003080 |
Thorsten Kleinjung [Suisse] ; Kazumaro Aoki [Japon] ; Jens Franke [Allemagne] ; Arjen K. Lenstra [Suisse] ; Emmanuel Thomé [France] ; Joppe W. Bos [Suisse] ; Pierrick Gaudry [France] ; Alexander Kruppa [France] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Dag Arne Osvik [Suisse] ; Herman Te Riele [Pays-Bas] ; Andrey Timofeev [Pays-Bas] ; Paul Zimmermann [France] | Factorization of a 768-Bit RSA Modulus |
| 003081 |
Gerald O. Wilson [États-Unis] ; James W. Henderson [États-Unis] ; Mary M. Caruso [États-Unis] ; Benjamin J. Blaiszik [États-Unis] ; Patrick J. Mcintire [États-Unis] ; Nancy R. Sottos [États-Unis] ; Scott R. White [États-Unis] ; Jeffrey S. Moore [États-Unis] | Evaluation of peroxide initiators for radical polymerization‐based self‐healing applications |
| 003086 |
Donald A. Williamson [États-Unis] ; Stephen D. Anton [États-Unis] ; Hongmei Han [États-Unis] ; Catherine M. Champagne [États-Unis] ; Ray Allen [États-Unis] ; Eric Leblanc [États-Unis] ; Donna H. Ryan [États-Unis] ; Jennifer Rood [États-Unis] ; Katherine Mcmanus [États-Unis] ; Nancy Laranjo [États-Unis] ; Vincent J. Carey [États-Unis] ; Catherine M. Loria [États-Unis] ; George A. Bray [États-Unis] ; Frank M. Sacks [États-Unis] | Early behavioral adherence predicts short and long-term weight loss in the POUNDS LOST study |
| 003088 |
R. Schott [France] ; G. S. Staples [États-Unis] | Dynamic random walks in Clifford algebras |
| 003089 |
René Schott [France] ; G. Stacey Staples [États-Unis] | Dynamic Geometric Graph Processes: Adjacency Operator Approach |
| 003092 |
Akikazu Ishihara [États-Unis] ; Lisa J. Zekas [États-Unis] ; Alan S. Litsky [États-Unis] ; Steven E. Weisbrode [États-Unis] ; Alicia L. Bertone [États-Unis] | Dermal fibroblast‐mediated BMP2 therapy to accelerate bone healing in an equine osteotomy model |
| 003093 |
Shahram Esmaeilsabzali [Canada] ; Nancy A. Day [Canada] ; Joanne M. Atlee [Canada] ; Jianwei Niu [États-Unis] | Deconstructing the semantics of big-step modelling languages |
| 003100 |
Camilo Rocha [États-Unis] ; José Meseguer [États-Unis] | Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories |
| 003107 |
Christoph Benzmüller [États-Unis] | Combining Logics in Simple Type Theory |
| 003126 |
Thorsten Kleinjung [Suisse] ; Joppe W. Bos [Suisse] ; Arjen K. Lenstra [Suisse] ; Dag Arne Osvik [Suisse] ; Kazumaro Aoki [Japon] ; Scott Contini [Australie] ; Jens Franke [Allemagne] ; Emmanuel Thomé [France] ; Pascal Jermini [Suisse] ; Michela Thiémard [Suisse] ; Paul Leyland [Royaume-Uni] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Andrey Timofeev [Pays-Bas] ; Heinz Stockinger [Suisse] | A heterogeneous computing environment to solve the 768-bit RSA challenge |
| 003128 |
A. Lagae [Belgique, France] ; S. Lefebvre [France] ; R. Cook [États-Unis] ; T. Derose [États-Unis] ; G. Drettakis [France] ; D. S. Ebert [États-Unis] ; J. P. Lewis [Nouvelle-Zélande] ; K. Perlin [États-Unis] ; M. Zwicker [Suisse] | A Survey of Procedural Noise Functions |
| 003131 |
Gerold J Ger [Allemagne] ; Weixiong Zhang [États-Unis] | A SAT Based Effective Algorithm for the Directed Hamiltonian Cycle Problem |
| 003139 |
Zhiying Zhang [États-Unis] ; Elaine Lanza [États-Unis] ; Penny M. Kris-Etherton [États-Unis] ; Nancy H. Colburn [États-Unis] ; Deborah Bagshaw [États-Unis] ; Michael J. Rovine [États-Unis] ; Jan S. Ulbrecht [États-Unis] ; Gerd Bobe [États-Unis] ; Robert S. Chapkin [États-Unis] ; Terryl J. Hartman [États-Unis] | A High Legume Low Glycemic Index Diet Improves Serum Lipid Profiles in Men |
| 003143 |
Konstantinos Tsakalis [États-Unis] ; Nikolaos Vlassopoulos [France] ; George Lentaris [Grèce] ; Dionysios Reisis [Grèce] | A Control-Theoretic Approach for Efficient Design of Filters in DAC and Digital Audio Amplifiers |
| 003214 |
René Schott [France] ; Stacey Staples [États-Unis] | ZEONS, LATTICES OF PARTITIONS, AND FREE PROBABILITY |
| 003228 |
Ronen Brafman [Israël] ; Hector Geffner [Espagne] ; Joerg Hoffmann [France] ; Henry Kautz [États-Unis] | Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS'10) |
| 003233 |
René Schott [France] ; G. Stacey Staples [États-Unis] | Operator cohomology and cohomology in Clifford algebras |
| 003235 |
René Schott [France] ; Stacey Staples [États-Unis] | On the complexity of cycle enumeration using Zeons |
| 003252 |
René Schott [France] ; Stacey Staples [États-Unis] | Dynamic random walks on Clifford algebras |
| 003288 |
Andrew Teel [États-Unis] ; Dragan Nesic [Australie] ; Antonio Loria [France] ; Elena Panteley [France] | Uniform stability of sets for difference inclusions under summability criteria |
| 003309 |
Szilárd Vajda [France] ; Kaushik Roy [États-Unis] ; Umapada Pal [Inde] ; Bidyut B Chaudhuri [Inde] ; Abdel Belaïd [France] | Automation of Indian Postal Documents written in Bangla and English |
| 003316 |
Amrita Sinha [Royaume-Uni] ; Karen T. Flood [Royaume-Uni] ; David Kessel [Royaume-Uni] ; Sheena Johnson [Royaume-Uni] ; Carianne Hunt [Royaume-Uni] ; Helen Woolnough [Royaume-Uni] ; Franck Vidal [États-Unis] ; Pierre-Frédéric Villard [Royaume-Uni] ; Richard Holbray [Royaume-Uni] ; Martin Crawshaw [Royaume-Uni] ; Andrew Bulpitt [Royaume-Uni] ; Nigel John [Royaume-Uni] ; Fernando Bello [Royaume-Uni] ; Roger Phillips [Royaume-Uni] ; Derek Gould [Royaume-Uni] | The Role of Simulation in Medical Training and Assessment |
| 003391 |
Amrita Sinha [Royaume-Uni] ; Sheena Johnson [Royaume-Uni] ; Carianne Hunt [Royaume-Uni] ; Helen Woolnough [Royaume-Uni] ; Franck Vidal [États-Unis] ; Nigel John [Royaume-Uni] ; Pierre-Frédéric Villard [Royaume-Uni] ; Richard Holbray [Royaume-Uni] ; Fernando Bello [Royaume-Uni] ; Derek Gould [Royaume-Uni] | Importance of virtual reality simulators in interventional radiology: the ImaGiNe-S CIRSE 2008 experience |
| 003447 |
Claude Godart [France] ; Nobert Gronau [Allemagne] ; Sushil Sharma [États-Unis] ; Gérôme Canals [France] | Software Services for e-Business and e-Society |
| 003595 |
René Schott [France] ; Stacey Staples [États-Unis] | Cycles and components in geometric graphs: adjacency operator approach |
| 003682 |
Antonio Loria [France] ; Dragan Nesic [Australie] ; Elena Panteley [France] ; Andrew Teel [États-Unis] | ON STABILITY OF SETS FOR SAMPLED-DATA NONLINEAR INCLUSIONS VIA THEIR APPROXIMATE DISCRETE-TIME MODELS AND SUMMABILITY CRITERIA |
| 003683 |
Laurent Alonso [France] ; Edward M. Reingold [États-Unis] | Average-Case Analysis of Some Plurality Algorithms |
| 003685 |
Peter Gacs [États-Unis] ; Mathieu Hoyrup [France] ; Cristobal Rojas [France] | Randomness on Computable Probability Spaces - A Dynamical Point of View |
| 003696 |
Sahbi Sidhom [France] ; Malek Ghenima [Tunisie] ; Aris Ouksel [États-Unis] | Information Systems and Economic Intelligence : Proceedings of the 2nd international conference SIIE 2009 : February 12-14, 2009 (in Hammamet, Tunisia) |
| 003709 |
Jared Hoberock [États-Unis] ; Samuel Hornus [France] ; John Hart [États-Unis] | Radiance Space, as Represented by the Visibility 2-Skeleton |
| 003727 |
Luciana Benotti [France] ; David Traum [États-Unis] | A computational account of comparative implicatures for a spoken dialogue agent |
| 003733 |
Nicolas Ray [France] ; Bruno Lévy [France] ; Wang Huamin [États-Unis] ; Turk Greg [États-Unis] ; Bruno Vallet [France] | Material Space Texturing |
| 003745 |
Shi-Min Hu [République populaire de Chine] ; Bruno Lévy [France] ; Dinesh Manocha [États-Unis] | Special Issue on ACM Symposium on Solid and Physical Modeling and Applications - ACM SPM |
| 003757 |
Hazel Everett [France] ; Sylvain Lazard [France] ; Bill Lenhart [États-Unis] ; Linqiao Zhang [France] | On the Degree of Standard Geometric Predicates for Line Transversals in 3D |
| 003772 |
Carmel Domshlak [Israël] ; Joerg Hoffmann [France] ; Ashish Sabharwal [États-Unis] | Friends or Foes? On Planning as Satisfiability and Abstract CNF Encodings |
| 003787 |
Bruno Lévy [France] ; Dinesh Manocha [États-Unis] ; Hong Qin [États-Unis] ; Hiromasa Suzuki [Japon] | ACM Symposium on Solid and Physical Modeling and Applications 2008 |
| 003788 |
Lori Ashcraft [États-Unis] ; William A. Anthony | What a recovery organization looks like. |
| 003789 |
Lori Ashcraft [États-Unis] ; William A. Anthony | Transform your expectations. |
| 003790 |
Lori Ashcraft [États-Unis] ; William A. Anthony | Tough times call for tough decisions. |
| 003791 |
Yan Wang [États-Unis] ; Rebecca B. Berlow [États-Unis] ; J. Patrick Loria [États-Unis] | The Role of Loop-Loop Interactions in Coordinating Motions and Enzymatic Function in Triosephosphate Isomerase |
| 003792 |
Nicolas Doucet [États-Unis] ; Eric D. Watt [États-Unis] ; J. Patrick Loria [États-Unis] | The Flexibility of a Distant Loop Modulates Active-Site Motion and Product Release in Ribonuclease A |
| 003795 |
Lori Ashcraft [États-Unis] ; William A. Anthony | Providing an exit from case management. |
| 003797 |
James Lipchock [États-Unis] ; J. Patrick Loria [États-Unis] | Millisecond dynamics in the allosteric enzyme imidazole glycerol phosphate synthase (IGPS) from Thermotoga maritima |
| 003798 |
Lori Ashcraft [États-Unis] ; William A. Anthony ; Ed Knight ; Peter Ashenden | Insisting on the truth: empower staff to feel safe to share their recovery stories. |
| 003802 |
Lori Ashcraft [États-Unis] ; William A. Anthony ; Christy Dye | Don't lose momentum. Organizations have many opportunities to improve recovery services. |
| 003803 |
Roger M. Loria [États-Unis] | Beta-androstenes and resistance to viral and bacterial infections. |
| 003811 |
Birte Lönneker-Rodman [États-Unis] ; Collin F. Baker [États-Unis] | The FrameNet model and its applications |
| 003823 |
Tobias Kurth [États-Unis, France] ; Paul E De Jong [Pays-Bas] ; Nancy R. Cook [États-Unis] ; Julie E. Buring [États-Unis] ; Paul M. Ridker [États-Unis, Pays-Bas] | Kidney function and risk of cardiovascular disease and mortality in women: a prospective cohort study |
| 003826 |
Victoria J. Derose [États-Unis] | Chapter 5 - Characterization of Nucleic Acid–Metal Ion Binding by Spectroscopic Techniques |
| 003877 |
Siva Anantharaman [France] ; Hai Lin [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France] | Unification Modulo Homomorphic Encryption |
| 003889 |
Francisco Durán [Espagne] ; Salvador Lucas [Espagne] ; José Meseguer [États-Unis] | Termination Modulo Combinations of Equational Theories |
| 003915 |
Panos M. Pardalos [États-Unis] ; Vera Tomaino [États-Unis, Italie] ; Petros Xanthopoulos [États-Unis] | Optimization and data mining in medicine |
| 003916 |
Gino J. Lim [États-Unis] | Optimization Models and Computational Approaches for Three-dimensional Conformal Radiation Treatment Planning |
| 003917 |
Prithwiraj Maitra [États-Unis] ; Angelina Balina [États-Unis] ; Steven Carlo [États-Unis] ; John R. Glynn Jr. [États-Unis] | Optical tools to assess naturalness of cosmetic films |
| 003919 |
Philippe De Groote [France] ; Sylvain Pogodalla [France] ; Carl Pollard [États-Unis] | On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar |
| 003932 |
Ioannis Z. Emiris [États-Unis] ; Frank Sottile [États-Unis] ; Thorsten Theobald [Allemagne] | List of Workshop Participants |
| 003933 |
Ciprian Borcea [États-Unis] ; Xavier Goaoc [France] ; Sylvain Petitjean [France] | Line Transversals to Disjoint Balls |
| 003956 |
Philip Feinsilver [États-Unis, France] ; Ren Schott [France] | Finite-dimensional calculus |
| 003961 |
Nancy M. Schullery [États-Unis] ; Linda Ickes [États-Unis] ; Stephen E. Schullery [Niger] | Employer Preferences for Résumés and Cover Letters |
| 003978 |
David D. Zhou [États-Unis] ; X. Tracy Cui [États-Unis] ; Amy Hines [États-Unis] ; Robert J. Greenberg [États-Unis] | Conducting Polymers in Neural Stimulation Applications |
| 003987 |
Ivan Švancara [République tchèque] ; Karel Vyt As [République tchèque] ; Kurt Kalcher [Autriche] ; Alain Walcarius [France] ; Joseph Wang [États-Unis] | Carbon Paste Electrodes in Facts, Numbers, and Notes: A Review on the Occasion of the 50‐Years Jubilee of Carbon Paste in Electrochemistry and Electroanalysis |
| 003A09 |
Du Li [États-Unis] ; Rui Li [États-Unis] | An Admissibility-Based Operational Transformation Framework for Collaborative Editing Systems |
| 003A11 |
Donald A. Williamson [États-Unis] ; Stephen D. Anton [États-Unis] ; Hongmei Han [États-Unis] ; Catherine M. Champagne [États-Unis] ; Ray Allen [États-Unis] ; Eric Leblanc [États-Unis] ; Donna H. Ryan [États-Unis] ; Katherine Mcmanus [États-Unis] ; Nancy Laranjo [États-Unis] ; Vincent J. Carey [États-Unis] ; Catherine M. Loria [États-Unis] ; George A. Bray [États-Unis] ; Frank M. Sacks [États-Unis] | Adherence is a multi-dimensional construct in the POUNDS LOST trial |
| 003A19 |
Nelson H. F. Beebe [États-Unis] | A new math library |
| 003A27 |
Luc Tartar [États-Unis] | A Personalized Overview of Homogenization I |
| 003A28 |
Aaron G. Cass [États-Unis] ; Leon J. Osterweil [États-Unis] ; Alexander Wise [États-Unis] | A Pattern for Modeling Rework in Software Development Processes |
| 003A33 |
Hajo A. Reijers [Pays-Bas] ; Minseok Song [Pays-Bas] ; Heidi Romero [Pays-Bas] ; Umeshwar Dayal [États-Unis] ; Johann Eder [Autriche] ; Jana Koehler [Suisse] | A Collaboration and Productiveness Analysis of the BPM Community |
| 003D50 |
Marek Petrik [États-Unis] ; Bruno Scherrer [France] | Biasing Approximate Dynamic Programming with a Lower Discount Factor |
| 003D62 |
Ustun Yildiz [États-Unis] ; Claude Godart [France] | Design and Implementation of Information Flow-sensitive Business Processes |
| 003E32 |
David Bremner [Canada] ; Jonathan Lenchner [États-Unis] ; Giuseppe Liotta [Italie] ; Christophe Paul [France] ; Marc Pouget [France] ; Svetlana Stolpner [Canada] ; Stephen Wismath [États-Unis] | A Note on α-Drawable k-Trees |
| 003E33 |
Dominic Massaro [États-Unis] ; Stephanie Bigler [États-Unis] ; Trevor Chen [États-Unis] ; Marcus Perlman [États-Unis] ; Slim Ouni [France] | Pronunciation Training: The Role of Eye and Ear |
| 003F27 |
Cédric Lauradoux [États-Unis] ; Marion Videau [France] | Matriochka symmetric Boolean functions |
| 003F57 |
Carlos Areces [France] ; Alexander Koller [Allemagne] ; Kristina Striegnitz [États-Unis] | Referring Expressions as Formulas of Description Logic |
| 003F62 |
Erin Wolf Chambers [États-Unis] ; Eric Colin De Verdire [France] ; Jeff Erickson [États-Unis] ; Sylvain Lazard [France] ; Francis Lazarus [France] ; Shripad Thite [États-Unis] | Walking Your Dog in the Woods in Polynomial Time |
| 003F94 |
Siva Anatharaman [France] ; Hai Lin ; Chris Lynch ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | Active Intruders with Caps |
| 004053 |
Henri Casanova [États-Unis] ; Arnaud Legrand [France] ; Martin Quinson [France] | SimGrid: a Generic Framework for Large-Scale Distributed Experiments |
| 004072 |
Ernst Althaus [Allemagne] ; Stefan Canzar [France] ; Mark R. Emmett [États-Unis] ; Andreas Karrenbauer [Allemagne] ; Alan G. Marshall [États-Unis] ; Anke Meyer-Baese [États-Unis] ; Huimin Zhang [États-Unis] | Computing H/D-exchange speeds of single residues from data of peptic fragments |
| 004134 |
Laurent Alonso [France] ; Edward M. Reingold [États-Unis] | Determining Plurality |
| 004151 |
Shi-Min Hu [République populaire de Chine] ; Bruno Lévy [France] ; Dinesh Manocha [États-Unis] | Selected papers from the Solid and Physical Modeling and Applications Symposium 2007 - SPM 2007 |
| 004152 |
Shi-Min Hu [République populaire de Chine] ; Bruno Lévy [France] ; Dinesh Manocha [États-Unis] | Selected Papers from the ACM Solid and Physical Modeling Symposium 2007 |
| 004153 |
Pierre-Francois Dutot [France] ; Tchimou N'Takpé [France] ; Frédéric Suter [France] ; Henri Casanova [États-Unis] | Scheduling Parallel Task Graphs on (Almost) Homogeneous Multi-cluster Platforms |
| 004160 |
René Schott [France] ; G. Stacey Staples [États-Unis] | Partitions and Clifford algebras |
| 004172 |
Olivier Zendra [France] ; Eric Jul [Danemark] ; Roland Ducournau [France] ; Etienne Gagnon [Canada] ; Richard Jones [Royaume-Uni] ; Chandra Krintz [États-Unis] ; Philippe Mulet [France] ; Jan Vitek [États-Unis] | International Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - Report on the Workshop ICOOOLPS'2007 at ECOOP'07 |
| 004191 |
Laurent Alonso [France] ; Edward M. Reingold [États-Unis] | Average-Case Lower Bounds for the Plurality Problem |
| 004206 |
Lori Ashcraft [États-Unis] ; William A. Anthony ; Shannon Jaccard | Rein in seclusion and restraints. They are not compatible with recovery-oriented services. |
| 004216 |
Lori Ashcraft [États-Unis] ; William A. Anthony | Creating good endings. Service users and staff judge your performance based on your final acts. |
| 004217 |
J Patrick Loria [États-Unis] ; Rebecca B. Berlow ; Eric D. Watt | Characterization of enzyme motions by solution NMR relaxation dispersion. |
| 004218 |
Lori Ashcraft [États-Unis] ; William A. Anthony | Apply a recovery approach to wellness. Engage clients in "irresistible" services that offer them a healthier life. |
| 004231 |
Michelangelo Sabatino [États-Unis] | Ghosts and Barbarians: The Vernacular in Italian Modern Architecture and Design |
| 004236 |
Gregg C. Fonarow [États-Unis] ; William T. Abraham [États-Unis] ; Nancy M. Albert [États-Unis] ; Wendy Gattis Stough [États-Unis] ; Mihai Gheorghiade [États-Unis] ; Barry H. Greenberg [États-Unis] ; Christopher M. O'Connor [États-Unis] ; Eduardo Nunez [États-Unis] ; Clyde W. Yancy [États-Unis] ; James B. Young [États-Unis] | A smoker's paradox in patients hospitalized for heart failure: findings from OPTIMIZE-HF |
| 004264 |
Cédric Join [France] ; John Masse ; Michel Fliess [France, États-Unis] | Etude préliminaire d’une commande sans modèle pour papillon de moteur |
| 004278 |
Tobias Blum [Allemagne, États-Unis] ; Nicolas Padoy [Allemagne, France] ; Hubertus Feu Ner [Allemagne] ; Nassir Navab [Allemagne] | Workflow mining for visualization and analysis of surgeries |
| 004287 |
Daniel J. Bernstein [États-Unis, Tonga] ; Peter Birkner [Pays-Bas] ; Marc Joye [France, Niger] ; Tanja Lange [Pays-Bas] ; Christiane Peters [Pays-Bas] | Twisted Edwards Curves |
| 004292 |
Mathias S. Wickleder [Allemagne] ; Blandine Fourest [France] ; Peter K. Dorhout [États-Unis] | Thorium |
| 004293 |
Virgil Percec [États-Unis] ; Mihai Peterca [États-Unis] ; Michael Yurchenko ; Jonathan Rudick ; Paul Heiney [États-Unis] | Thixotropic Twin‐Dendritic Organogelators |
| 004294 |
A. James O Alley [États-Unis] ; Peter V. Marsden [États-Unis] | The analysis of social networks |
| 004306 |
Manjiri Dighe [États-Unis] ; Carlos Cuevas [États-Unis] ; Mariam Moshiri [États-Unis] ; Theodore Dubinsky [États-Unis] ; Vikram S. Dogra [États-Unis] | Sonography in first trimester bleeding |
| 004324 |
René Schott [France] ; G. Stacey Staples [États-Unis] | Reductions in Computational Complexity Using Clifford Algebras |
| 004329 |
Scott L. Mader [États-Unis] ; Marijo C. Medcraft [États-Unis] ; Carol Joseph [États-Unis] ; Kay L. Jenkins [États-Unis] ; Nancy Benton [États-Unis] ; Kathleen Chapman [États-Unis] ; Maggie A. Donius [États-Unis] ; Carol Baird [États-Unis] ; Richard Harper [États-Unis] ; Yasmin Ansari [États-Unis] ; Jim A. Jackson [États-Unis] ; William Schutzer [États-Unis] | Program at Home: A Veterans Affairs Healthcare Program to Deliver Hospital Care in the Home |
| 004338 |
Kristine L. Funk [États-Unis] ; Patricia J. Elmer [États-Unis] ; Victor J. Stevens [États-Unis] ; David W. Harsha [États-Unis] ; Shirley R. Craddick [États-Unis] ; Pao-Hwa Lin [États-Unis] ; Deborah Rohm Young [États-Unis] ; Catherine M. Champagne [États-Unis] ; Phillip J. Brantley [États-Unis] ; Phyllis B. Mccarron [États-Unis] ; Denise G. Simons-Morton [États-Unis] ; Lawrence J. Appel [États-Unis] | PREMIER—A Trial of Lifestyle Interventions for Blood Pressure Control: Intervention Design and Rationale |
| 004345 |
Nizar Bouguila [Canada] ; Djemel Ziou [Canada] ; Riad I. Hammoud [États-Unis] | On Bayesian analysis of a finite generalized Dirichlet mixture via a Metropolis-within-Gibbs sampling |
| 004347 |
Mamadou Mboup [France] ; Cédric Join [France] ; Michel Fliess [France, États-Unis] | Numerical differentiation with annihilators in noisy environment |
| 004349 |
Ren Schott [France] ; George Stacey Staples [États-Unis] | Nilpotent adjacency matrices, random graphs and quantum random variables |
| 004374 |
Peter L. Montgomery [États-Unis, Pays-Bas] ; Alexander Kruppa [France] | Improved Stage 2 to P ± 1 Factoring Algorithms |
| 004375 |
Olivier Zendra [France] ; Eric Jul [Danemark] ; Roland Ducournau [France] ; Etienne Gagnon [Canada] ; Richard Jones [Royaume-Uni] ; Chandra Krintz [États-Unis] ; Philippe Mulet [France] ; Jan Vitek [États-Unis] | Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems |
| 004387 |
Elysia Moschos [États-Unis] ; Sreedevi Sreenarasimhaiah [États-Unis] ; Diane M. Twickler [États-Unis] | First‐trimester diagnosis of cesarean scar ectopic pregnancy |
| 004428 |
Alexander S. Lee [États-Unis] ; Serban F. Peteu [États-Unis] ; James V. Ly [États-Unis] ; Aristides A G. Requicha [États-Unis] ; Mark E. Thompson [États-Unis] ; Chongwu Zhou [États-Unis] | Actuation of polypyrrole nanowires |
| 004433 |
Kevin A. Yelvington [États-Unis] | A Life In and Out of Anthropology |
| 004455 |
Hervé Brönnimann [États-Unis] ; Olivier Devillers [France] ; Vida Dujmovic [Canada] ; Hazel Everett [France] ; Marc Glisse [France] ; Xavier Goaoc [France] ; Sylvain Lazard [France] ; Hyeon-Suk Na [Corée du Sud] ; Sue Whitesides [Canada] | LINES AND FREE LINE SEGMENTS TANGENT TO ARBITRARY THREE-DIMENSIONAL CONVEX POLYHEDRA |
| 004489 |
Olivier Devillers [France] ; Jeff Erickson [États-Unis] ; Xavier Goaoc [France] | Empty-ellipse graphs |
| 004531 |
René Schott [France] ; Stacey Staples [États-Unis] | Random Walks on Clifford Algebras as Directed Hypercubes |
| 004566 |
P. Feinsilver [États-Unis] ; J. Mcsorley ; René Schott [France] | Generating orthogonal polynomials and their derivatives using vertex/matching-partitions of graphs |
| 004596 |
P. Feinsilver [États-Unis] ; U. Franz ; René Schott [France] | Computing coordinates of Lie groups |
| 004634 |
Bel Raggad [États-Unis] ; Sahbi Sidhom [France] | Cyberspace security: How to develop a security strategy |
| 004666 |
Jérôme François [France] ; Adel El-Atawy [États-Unis] ; Ehab Al Shaer [États-Unis] ; Raouf Boutaba [Canada] | A collaborative approach for proactive detection of distributed denial of service attacks |
| 004818 |
Tchimou N'Takpé [France] ; Frédéric Suter [France] ; Henri Casanova [États-Unis] | A Comparison of Scheduling Approaches for Mixed-Parallel Applications on Heterogeneous Platforms |
| 004860 |
Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | Intruders with Caps |
| 004881 |
Jack Dongarra [États-Unis] ; Emmanuel Jeannot [France] ; Erik Saule [France] ; Zhiao Shi [États-Unis] | Bi-objective Scheduling Algorithms for Optimizing Makespan and Reliability on Heterogeneous Systems |
| 004945 |
Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France] | Intruders with Caps |
| 004A24 |
Ciprian Borcea [États-Unis] ; Xavier Goaoc [France] ; Sylvain Petitjean [France] | Line transversals to disjoint balls |
| 004A31 |
Slim Ouni [France] ; Michael Cohen [États-Unis] ; Hope Ishak [États-Unis] ; Dominic Massaro [États-Unis] | Visual Contribution to Speech Perception: Measuring the Intelligibility of Animated Talking Heads |
| 004A55 |
Hervé Bronnimann [États-Unis] ; Olivier Devillers [France] ; Vida Dujmovic [Canada] ; Hazel Everett [France] ; Marc Glisse [France] ; Xavier Goaoc [France] ; Sylvain Lazard [France] ; Hyeon-Suk Na [Corée du Sud] ; Sue Whitesides [Canada] | Lines and free line segments Tangent to Arbitrary Three-dimensional Convex Polyhedra |
| 004A59 |
P. Feinsilver [États-Unis] ; René Schott [France] | Inversion of analytical functions via canonical polynomials: a matrix approach |
| 004A81 |
Eric D. Watt [États-Unis] ; Hiroko Shimada [États-Unis] ; Evgenii L. Kovrigin [États-Unis] ; J. Patrick Loria [États-Unis] | The mechanism of rate-limiting motions in enzyme function |
| 004A83 |
Lori Ashcraft [États-Unis] ; William A. Anthony | Our workforce's biggest secret. Here's a hint: it affects one in four of your professional staff members. |
| 004A87 |
James G. Kempf [États-Unis] ; Ju-Yeon Jung [États-Unis] ; Christina Ragain [États-Unis] ; Nicole S. Sampson [États-Unis] ; J. Patrick Loria [États-Unis] | Dynamic Requirements for a Functional Protein Hinge |
| 004B10 |
Daniel Szer [France] ; François Charpillet [France] ; Shlomo Zilberstein [États-Unis] | Résolution optimale de DEC-POMDPs par recherche heuristique |
| 004B26 |
Bertrand Zavidovique [États-Unis] ; Roger Reynaud [États-Unis] | La vision située : un concept pour faciliter l’autonomie des systèmes |
| 004B78 |
Byron Gajewski [États-Unis] ; Matthew Hall [États-Unis] ; Nancy Dunton [États-Unis] | Summarizing benchmarks in the national database of nursing quality indicators using bootstrap confidence intervals |
| 004B79 |
Arthur M. Doweyko [États-Unis] | Steroid nuclear hormone receptors: The allosteric conversation |
| 004B86 |
Robert C. Levy [États-Unis] ; Lorraine A. Remer [États-Unis] ; Shana Mattoo [États-Unis] ; Eric F. Vermote [États-Unis] ; Yoram J. Kaufman [États-Unis] | Second‐generation operational algorithm: Retrieval of aerosol properties over land from inversion of Moderate Resolution Imaging Spectroradiometer spectral reflectance |
| 004B97 |
Stépphanie Delaune [France] ; Hai Lin [États-Unis] ; Christopher Lynch [États-Unis] | Protocol Verification Via Rigid/Flexible Resolution |
| 004C05 |
Martha J. Lentz [États-Unis] ; Nancy Woods [États-Unis] ; Margaret Heitkemper [États-Unis] ; Ellen Mitchell [États-Unis] ; Richard Henker [États-Unis] ; Joan Shaver [États-Unis] | Ovarian steroids and premenstrual symptoms: A comparison of group differences and intra‐individual patterns |
| 004C34 |
Nancy R. Cook [États-Unis] ; Jeffrey A. Cutler [États-Unis] ; Eva Obarzanek [États-Unis] ; Julie E. Buring [États-Unis] ; Kathryn M. Rexrode [États-Unis] ; Shiriki K. Kumanyika [États-Unis] ; Lawrence J. Appel [États-Unis] ; Paul K. Whelton [États-Unis] | Long term effects of dietary sodium reduction on cardiovascular disease outcomes: observational follow-up of the trials of hypertension prevention (TOHP) |
| 004C35 |
H. Bronnimann [États-Unis] ; O. Devillers [France] ; S. Lazard [France] ; F. Sottile [États-Unis] | Lines Tangent to Four Triangles in Three-Dimensional Space |
| 004C36 |
Ciprian Borcea [États-Unis] ; Xavier Goaoc [France] ; Sylvain Petitjean [France] | Line Transversals to Disjoint Balls |
| 004C37 |
Elena Anne Marchisotto [États-Unis] ; James T. Smith [États-Unis] | Life and Works |
| 004C40 |
Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | Intruders with Caps |
| 004C42 |
Francisco J. Diaz [Colombie] ; Tulia E. Rivera [Colombie] ; Richard C. Josiassen [Niger, États-Unis] ; Jose De Leon [États-Unis] | Individualizing drug dosage by using a random intercept linear model |
| 004C45 |
Roland Ducournau [France] ; Etienne Gagnon [Canada] ; Chandra Krintz [États-Unis] ; Philippe Mulet [France] ; Jan Vitek [États-Unis] ; Olivier Zendra [France] | Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems |
| 004C49 |
Claudia Hopenhayn [États-Unis] ; Amy Christian [États-Unis] ; W. Jay Christian [États-Unis] ; Nancy E. Schoenberg [États-Unis] | Human papillomavirus vaccine: knowledge and attitudes in two Appalachian Kentucky counties |
| 004C66 |
Robert W. Flint Jr. [États-Unis] ; Michael D. Bunsey [États-Unis] ; David C. Riccio [États-Unis] | Epinephrine‐induced enhancement of memory retrieval for inhibitory avoidance conditioning in preweanling Sprague–Dawley rats |
| 004C71 |
Denis Cousineau [France] ; Gilles Dowek [États-Unis] | Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo |
| 004C73 |
Matthew E. Dupre [États-Unis] | Educational Differences in Age-Related Patterns of Disease: Reconsidering the Cumulative Disadvantage and Age-As-Leveler Hypotheses |
| 004C87 |
Wolfgang Weck [Suisse] ; Ralf Reussner [Allemagne] ; Clemens Szyperski [États-Unis] | Component-Oriented Programming |
| 004C95 |
Silvio Ranise [France] ; Christelle Scharff [États-Unis] | Building Extended Canonizers by Graph-Based Deduction |
| 004D00 |
Christopher Lynch [États-Unis] ; Duc-Khanh Tran [France] | Automatic Decidability and Combinability Revisited |
| 004D17 |
Ashish Tiwari [États-Unis] | Abstractions for hybrid systems |
| 004D27 |
Iria Da Cunha [Espagne, États-Unis] ; Silvia Fernández [France] ; Patricia Velázquez Morales [Espagne] ; Jorge Vivaldi [Espagne, États-Unis] ; Eric Sanjuan [France] ; Juan Manuel Torres-Moreno [France, Canada] | A New Hybrid Summarizer Based on Vector Space Model, Statistical Physics and Linguistics |
| 004D33 |
N. Padoy [Allemagne, France, États-Unis] ; T. Blum [Allemagne] ; I. Essa [États-Unis] ; Hubertus Feussner [Allemagne] ; M. O. Berger [France] ; Nassir Navab [Allemagne] | A Boosted Segmentation Method for Surgical Workflow Analysis |
| 004E18 |
Nancy Ide [États-Unis] ; Laurent Romary [France] | Towards International Standards for Language Resources |
| 004E40 |
Rajesh Rao [États-Unis] ; Thomas Voegtlin [France] | Reverse Replay in the Hippocampus as Optimal Bayesian Smoothing |
| 004E78 |
Frédéric Suter [France] ; Henri Casanova [États-Unis] | Extracting Synthetic Multi-Cluster Platform Configurations from Grid'5000 for Driving Simulation Experiments |
| 005052 |
Hazel Everett [France] ; Sylvain Lazard [France] ; Bill Lenhart [États-Unis] ; Jeremy Redburn [États-Unis] ; Linqiao Zhang [France] | Predicates for Line Transversals in 3D |
| 005069 |
Anupam Datta [États-Unis] ; Ante Derek [États-Unis] ; John C. Mitchell [États-Unis] ; Arnab Roy [États-Unis] ; Vitaly Shmatikov [États-Unis] ; Mathieu Turuani [France] ; Bogdan Warinschi [France] | Computationally Sound Compositional Logic for Security Protocols |
| 005106 |
Martin Quinson [France] ; Henri Casanova [États-Unis] ; Arnaud Legrand [France] ; Kayo Fujiwara [États-Unis] | The SIMGRID Project: Simulation and Deployment of Distributed Applications |
| 005166 |
Olivier Chevassut [États-Unis] ; Pierre-Alain Fouque [France] ; Pierrick Gaudry [France] ; David Pointcheval [France] | The Twist-AUgmented technique for key exchange |
| 005183 |
Maxime Amblard [France] ; Greg Kobele [États-Unis] ; Christian Retoré [France] | Linguistique computationnelle : entre sciences cognitives et traitement automatique des langues |
| 005252 |
Rishi Saket [États-Unis] ; Nicolas Navet [France] | Frame packing algorithms for automotive applications |
| 005261 |
Véronique Cortier [France] ; Martin Abadi [États-Unis] | Deciding knowledge in security protocols under equational theories. |
| 005273 |
Michelle L. Gill [États-Unis] ; Scott A. Strobel [États-Unis] ; J. Patrick Loria [États-Unis] | Crystallization and characterization of the thallium form of the Oxytricha nova G-quadruplex |
| 005290 |
Daniel J. Dougherty [États-Unis] ; Pierre Lescanne [France] ; Luigi Liquori | Addressed term rewriting systems: application to a typed object calculus |
| 005366 |
Olivier Chevassut [États-Unis] ; Pierre-Alain Fouque [France] ; Pierrick Gaudry [France] ; David Pointcheval [France] | The Twist-AUgmented Technique for Key Exchange |
| 005386 |
A. Derdzinski [États-Unis] ; G. Maschler [États-Unis] | Special Kähler-Ricci potentials on compact Kähler manifolds |
| 005398 |
Laurel L. Northouse [États-Unis] ; Tansey Rosset [États-Unis] ; Laurel Phillips [États-Unis] ; Darlene Mood [États-Unis] ; Ann Schafenacker [États-Unis] ; Trace Kershaw [États-Unis] | Research with families facing cancer: The challenges of accrual and retention |
| 005435 |
Muge Acik [États-Unis, Turquie] ; Gursel Sonmez [Turquie, États-Unis] | Nanofabrication of aligned conducting polymers |
| 005440 |
Keng-Yen Huang [États-Unis] ; Douglas M. Teti [États-Unis] ; Margaret O Rien Caughy [États-Unis] ; Stanley Feldstein [États-Unis] ; Janice Genevro [États-Unis] | Mother-Child Conflict Interaction in the Toddler Years: Behavior Patterns and Correlates |
| 005491 |
Laura N. Gitlin [États-Unis] ; Karen Reever ; Marie P. Dennis ; Esther Mathieu ; Walter W. Hauck | Enhancing Quality of Life of Families Who Use Adult Day Services: Short- and Long-Term Effects of the Adult Day Services Plus Program |
| 005518 |
Traian Florin Erb Nu [États-Unis] ; Grigore Ro U [États-Unis] | Computationally Equivalent Elimination of Conditions |
| 005522 |
Cesare Tinelli [États-Unis] ; Calogero G. Zarba [États-Unis] | Combining Nonstably Infinite Theories |
| 005533 |
Nenad Anicic [États-Unis, Monténégro] ; Nenad Ivezic [États-Unis] ; Albert Jones [États-Unis] | An Architecture for Semantic Enterprise Application Integration Standards |
| 005558 |
Israel J. Wygnanski [États-Unis] | A Century of Active Control of Boundary Layer Separation: A Personal View |
| 005563 |
Paul Zimmermann [France] ; Bruce Dodson [États-Unis] | 20 Years of ECM |
| 005611 |
TING ZHANG [États-Unis] ; Henny B. Sipma [États-Unis] ; Zohar Manna [États-Unis] | Decision procedures for term algebras with integer constraints |
| 005612 |
Manin Abadi [États-Unis] ; Véronique Cortier [France] | Deciding knowledge in security protocols under equational thoories |
| 005617 |
Michael Backes [Allemagne] ; Anupam Datta [États-Unis] ; Ante Derek [États-Unis] ; John C. Mitchell [États-Unis] ; Mathieu Turuani [France] | Compositional analysis of contract-signing protocols |
| 005621 |
JIA MENG [États-Unis] ; Claire Quigley [États-Unis] ; Lawrence C. Paulson [États-Unis] | Automation for interactive proof : First prototype |
| 005627 |
Franz Baader [Allemagne] ; Silvio Ghilardi [Italie] ; Cesare Tinelli [États-Unis] | A new combination procedure for the word problem that generalizes fusion decidability results in modal logics |
| 005631 |
Gil Francopoulo [France] ; Monte George [États-Unis] ; Nicoletta Calzolari [Italie] ; Monica Monachini [Italie] ; Nuria Bel [Espagne] ; Mandy Pet [États-Unis] ; Claudia Soria [Italie] | LMF for multilingual, specialized lexicons |
| 005712 |
Radu State [France] ; Saverio Niccolini [Allemagne] ; Henning Schulzrinne [États-Unis] | VoIP MaSe '06 : Securing and managing VoIP communications |
| 005735 |
Assefaw Hadish Gebremedhin [États-Unis] ; Jens Gustedt [France] ; Mohamed Essaïdi [France] ; Isabelle Guérin Lassous [France] ; Jan Arne Telle [Norvège] | PRO: A Model for the Design and Analysis of Efficient and Scalable Parallel Algorithms |
| 005740 |
Philip Feinsilver [États-Unis] ; René Schott [France] | Operator calculus approach to solving analytic systems |
| 005750 |
Gil Francopoulo [France] ; Nuria Bel [Espagne] ; Monte George [États-Unis] ; Nicoletta Calzolari [Italie] ; Monica Monachini [Italie] ; Mandy Pet [États-Unis] ; Claudia Soria [Italie] | Lexical markup framework (LMF) for NLP multilingual resources |
| 005751 |
Gil Francopoulo [France] ; Monte George [États-Unis] ; Nicoletta Calzolari [Italie] ; Monica Monachini [Italie] ; Nuria Bel [Espagne] ; Mandy Pet [États-Unis] ; Claudia Soria [Italie] | Lexical Markup Framework (LMF) |
| 005752 |
Patrick Blackburn [France] ; Johan Bos [Italie] ; Kristina Striegnitz [États-Unis] | Learn Prolog Now! |
| 005783 |
P. Feinsilver [États-Unis] ; René Schott [France] | Dual vector fields II: calculating the Jacobian |
| 005788 |
Gil Francopoulo [France] ; Monte George [États-Unis] ; Mandy Pet [États-Unis] | Data categories in lexical markup framework or how to lighten a model |
| 005801 |
Laurent Alonso [France] ; Philippe Chassaing [France] ; E. M. Reingold [États-Unis] ; René Schott [France] | Average-Case Analysis of the Chip Problem |
| 005921 |
Silvio Ranise [France] ; Christophe Ringeissen [France] ; Calogero Zarba [États-Unis] | Combining data structures with nonstably infinite theories using many-sorted logic |
| 005959 |
Daniel Szer [France] ; François Charpillet [France] ; Shlomo Zilberstein [États-Unis] | MAA*: A Heuristic Search Algorithm for Solving Decentralized POMDPs |
| 005967 |
Anupam Datta [États-Unis] ; Ante Derek [États-Unis] ; John C. Mitchell [États-Unis] ; Vitaly Shmatikov [États-Unis] ; Mathieu Turuani [France] | Probabilistic Polynomial-time Semantics for a Protocol Security Logic |
| 005993 |
Michael Backes [Suisse] ; Anupam Datta [États-Unis] ; Ante Derek [États-Unis] ; John C. Mitchell [États-Unis] ; Mathieu Turuani [France] | Compositional Analysis of Contract Signing Protocols |
| 005A11 |
Daniel Szer [France] ; François Charpillet [France] ; Shlomo Zilberstein [États-Unis] | MAA*: Un algorithme de recherche heuristique pour la résolution exacte de DEC-POMDPs |
| 005A28 |
Alexander Clemm [États-Unis] ; Olivier Festor [France] ; Aiko Pras [Pays-Bas] | Integrated Management IX : Managing New Network Worlds |
| 005C24 |
Slim Ouni [France] ; Michael Cohen [États-Unis] ; Dominic Massaro [États-Unis] | Training Baldi to be multilingual: A case study for an Arabic Badr |
| 005C31 |
Nicolas P. Rougier [France] ; David C. Noelle [États-Unis] ; Todd S. Braver [États-Unis] ; John D. Cohen [États-Unis] ; Randall C. O'Reilly [États-Unis] | Prefrontal Cortex and Flexible Cognitive Control: Rules Without Symbols |
| 005C53 |
Iren Valova [États-Unis] ; Daniel Szer [États-Unis] ; Natacha Gueorguieva [États-Unis] ; Alexandre Buer [États-Unis] | A parallel growing architecture for self-organizing maps with unsupervised learning |
| 006166 |
H. Brönnimann [États-Unis] ; H. Everett [France] ; S. Lazard [France] ; F. Sottile [États-Unis] ; S. Whitesides [Canada] | Transversals to Line Segments in Three-Dimensional Space |
| 006188 |
Alexandre Urzhumtsev [France] ; Natalia Lunina [Russie] ; Pavel Afonine [États-Unis] ; Vladimir Y. Lunin [Russie] | Some Applications of Dummy Point Scatterers for Phasing in Macromolecular X-Ray Crystallography |
| 006198 |
Judith L. Reishtein [États-Unis] | Relationship between symptoms and functional performance in COPD |
| 006207 |
Anupam Datta [États-Unis] ; Ante Derek [États-Unis] ; John C. Mitchell [États-Unis] ; Vitaly Shmatikov [États-Unis] ; Mathieu Turuani [France] | Probabilistic Polynomial-Time Semantics for a Protocol Security Logic |
| 006210 |
Deepak Kapur [États-Unis] ; Laurent Vigneron [France] | Preface |
| 006211 |
Gopalan Nadathur [États-Unis] ; Natalie Linnell [États-Unis] | Practical Higher-Order Pattern Unification with On-the-Fly Raising |
| 006212 |
E. Althaus [Allemagne] ; G. C Linescu [États-Unis] ; I. I. M Ndoiu [États-Unis] ; S. Prasad [États-Unis] ; N. Tchervenski [États-Unis] ; A. Zelikovsky [États-Unis] | Power Efficient Range Assignment for Symmetric Connectivity in Static Ad Hoc Wireless Networks |
| 006232 |
Konstantine Arkoudas [États-Unis] ; Selmer Bringsjord [États-Unis] | Metareasoning for Multi-agent Epistemic Logics |
| 006238 |
Ph. Lahire [France] ; G. Arévalo [Suisse] ; H. Astudillo [Chili] ; A. P. Black [États-Unis] ; E. Ernst [Danemark] ; M. Huchard [France] ; T. Opluštil [France] ; M. Sakkinen [Finlande] ; P. Valtchev [Canada] | MASPEGHI 2004 M ech a nisms for Spe ialization, G eneralization and In h er i tance |
| 006245 |
Alexander Kurov [États-Unis] ; Tatyana Zabotina [États-Unis] | Is it time to reduce the minimum tick sizes of the E‐mini futures? |
| 006260 |
Grigore Ro U [États-Unis] | From Conditional to Unconditional Rewriting |
| 006279 |
Véronique Cortier [France] ; Bogdan Warinschi [États-Unis] | Computationally Sound, Automated Proofs for Security Protocols |
| 006282 |
Ciprian Borcea [États-Unis] ; Xavier Goaoc [France] ; Sylvain Lazard [France] ; Sylvain Petitjean [France] | Common Tangents to Spheres in ℝ3 |
| 006289 |
Mathilde Bouvel [France] ; Vladimir Grebinski [États-Unis] ; Gregory Kucherov [France] | Combinatorial Search on Graphs Motivated by Bioinformatics Applications: A Brief Survey |
| 006290 |
Chuck Liang [États-Unis] ; Gopalan Nadathur [États-Unis] ; Xiaochu Qi [États-Unis] | Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts |
| 006294 |
Christophe Chipot [France] ; Xavier Rozanska [France, Allemagne] ; Surjit B. Dixit [France, États-Unis] | Can free energy calculations be fast and accurate at the same time? Binding of low-affinity, non-peptide inhibitors to the SH2 domain of the src protein |
| 006311 |
Li-Yu D. Liu [Taïwan] ; Naisyin Wang [Taïwan, États-Unis] ; Joanne R. Lupton [États-Unis] ; Nancy D. Turner [États-Unis] ; Robert S. Chapkin [États-Unis] ; Laurie A. Davidson [États-Unis] | A two-stage normalization method for partially degraded mRNA microarray data |
| 006317 |
Allen Holder [États-Unis] ; Bill Salter [États-Unis, Niger] | A Tutorial on Radiation Oncology and Optimization |
| 006328 |
Calogero G. Zarba [France] ; Domenico Cantone [Italie] ; Jacob T. Schwartz [États-Unis] | A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case |
| 006352 |
Shelby Funk [États-Unis] ; Sanjoy K. Baruah | Restricting EDF migration on uniform heterogeneous multiprocessors |
| 006358 |
Slim Ouni [États-Unis] ; Yves Laprie [France] | Modeling the articulatory space using a hypercube codebook for acoustic-to-articulatory inversion |
| 006376 |
Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | Closure properties and decision problems of dag automata |
| 006377 |
Ernst Althaus [France] ; Stefan Funke [Allemagne] ; Sariel Har-Peled [États-Unis] ; Jochen Könemann [Canada] ; Edgar A. Ramos [États-Unis] ; Martin Skutella [Allemagne] | Approximating k-hop minimum-spanning trees |
| 006451 |
Slim Ouni [France] ; Michael Cohen [États-Unis] ; Dominic Massaro [États-Unis] ; Hope Ishak [États-Unis] | Visual Contribution to Speech Perception: Measuring the Intelligibility of Talking heads. |
| 006493 |
Hervé Brönnimann [États-Unis] ; Olivier Devillers [France] ; Vida Dujmovic [Canada] ; Hazel Everett [France] ; Marc Glisse [France] ; Xavier Goaoc [France] ; Sylvain Lazard [France] ; Hyeon-Suk Na [Corée du Sud] ; Sue Whitesides [Canada] | On the Number of Maximal Free Line Segments Tangent to Arbitrary Three-dimensional Convex Polyhedra |
| 006515 |
Hervé Brönnimann [États-Unis] ; Olivier Devillers [France] ; Sylvain Lazard [France] ; Frank Sottile [États-Unis] | Lines tangent to four triangles in three-dimensional space |
| 006529 |
Vincent Barreaud [France] ; Douglas O'Shaughnessy [Canada] ; Jean-Guy Dahan [États-Unis] | Experiments on Speaker Profile Portability |
| 006632 |
Erica Meena [France] ; Ashwani Kumar [États-Unis] ; Laurent Romary [France] | An Extensible Framework for Efficient Document Management Using RDF and OWL |
| 006639 |
Hervé Brönnimann [États-Unis] ; Olivier Devillers [France] ; Vida Dujmovic [Canada] ; Hazel Everett [France] ; Marc Glisse [France] ; Xavier Goaoc [France] ; Sylvain Lazard [France] ; Hyeon-Suk Na [Corée du Sud] ; Sue Whitesides [Canada] | The Number of Lines Tangent to Arbitrary Convex Polyhedra in 3D |
| 006675 |
Dominique Besagni [États-Unis] ; Abdel Belaïd [France] | Citation recognition for scientific publications in digital libraries |
| 006A47 |
Laurent Alonso [France] ; Philippe Chassaing [France] ; Florent Gillet [France] ; Svante Janson [Suède, France] ; Edward M. Reingold [États-Unis, France] ; René Schott [France] | Quicksort with Unreliable Comparisons: A Probabilistic Analysis |
| 006A56 |
Nancy Ide [États-Unis] ; Laurent Romary [France, États-Unis] | International standard for a linguistic annotation framework |
| 006B10 |
Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | Unification Modulo ACUI Plus Distributivity Axioms |
| 006B12 |
Claude Godart [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Olivier Perrin [France] ; Hala Skaf-Molli [France] ; Pradeep Ray [France, États-Unis] ; Fethi Rabhi [France] | The ToxicFarm Integrated Cooperation Framework for Virtual Teams |
| 006B15 |
Leonardo De Moura [États-Unis] ; Sam Owre [États-Unis] ; Harald Rue [États-Unis] ; John Rushby [États-Unis] ; Natarajan Shankar [États-Unis] | The ICS Decision Procedures for Embedded Deduction |
| 006B17 |
Geoff Sutcliffe [États-Unis] ; Christian Suttner [Inde] | The CADE ATP System Competition |
| 006B21 |
Leigh F. Bacher [États-Unis] ; William P. Smotherman [États-Unis] | Systematic temporal variation in the rate of spontaneous eye blinking in human infants |
| 006B35 |
Nancy A. Orel [États-Unis] ; Jeanne M. Wright ; Jennifer Wagner | Scarcity of HIV/AIDS Risk-Reduction Materials Targeting the Needs of Older Adults Among State Departments of Public Health |
| 006B39 |
José Meseguer [États-Unis] ; Grigore Ro U [États-Unis] | Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools |
| 006B42 |
P. Feinsilver [États-Unis] ; J. Kocik [États-Unis] ; R. Schott [France] | Representations of the Schrödinger algebra and Appell systems |
| 006B51 |
Nancy S. Redeker [États-Unis] ; Jeanne Ruggiero [États-Unis] ; Christine Hedges [États-Unis] | Patterns and predictors of sleep pattern disturbance after cardiac surgery |
| 006B61 |
Carrie J. Shawber [États-Unis] ; Jan Kitajewski [États-Unis] | Notch function in the vasculature: insights from zebrafish, mouse and man |
| 006B63 |
Mitsuhiro Kato [États-Unis, Japon] ; Soma Das [États-Unis] ; Kristin Petras [États-Unis] ; Kunio Kitamura [Japon] ; Ken-Ichirou Morohashi [Japon] ; Diane N. Abuelo [États-Unis] ; Mason Barr [États-Unis] ; Dominique Bonneau [France] ; Angela F. Brady [Royaume-Uni] ; Nancy J. Carpenter [États-Unis] ; Karen L. Cipero [États-Unis] ; Francesco Frisone [Italie] ; Takayuki Fukuda [Japon] ; Renzo Guerrini [Italie] ; Eri Iida [Japon] ; Masayuki Itoh [Japon] ; Amy Feldman Lewanda [États-Unis] ; Yukiko Nanba [Japon] ; Akira Oka [Japon] ; Virginia K. Proud [États-Unis] ; Pascale Saugier-Veber [France] ; Susan L. Schelley [États-Unis] ; Angelo Selicorni [Italie] ; Rachel Shaner [États-Unis] ; Margherita Silengo [Italie] ; Fiona Stewart [Royaume-Uni] ; Noriyuki Sugiyama [Japon] ; Jun Toyama [Japon] ; Annick Toutain [France] ; Ana Lía Vargas [Argentine] ; Masako Yanazawa [Japon] ; Elaine H. Zackai [États-Unis] ; William B. Dobyns [États-Unis] | Mutations of ARX are associated with striking pleiotropy and consistent genotype–phenotype correlation |
| 006B67 |
V. N. Hristov [Bulgarie, États-Unis] ; M. Krumova [Allemagne] ; St. Vasileva [Bulgarie] ; G. H. Michler [Allemagne] | Modified polypropylene wood flour composites. II. Fracture, deformation, and mechanical properties |
| 006B70 |
Emir Pašali [États-Unis] ; Nathan Linger [États-Unis] | Meta-programming with Typed Object-Language Representations |
| 006B78 |
Michael Beeson [États-Unis] | Lambda Logic |
| 006B95 |
Jeremy Avigad [États-Unis] ; Kevin Donnelly [États-Unis] | Formalizing O Notation in Isabelle/HOL |
| 006B99 |
Stephanie Brewer ; Trevor Williams [États-Unis] | Finally, a sense of closure? Animal models of human ventral body wall defects |
| 006C07 |
Ángel J. Gil [Espagne, États-Unis] ; Miki Hermann [France] ; Gernot Salzer [Autriche] ; Bruno Zanuttini [France] | Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains |
| 006C09 |
Nancy T. Artinian [États-Unis] ; Stephanie Myers Schim ; Jillon S. Vander Wal ; Mary A. Nies | Eating Patterns and Cardiovascular Disease Risk in a Detroit Mexican American Population |
| 006C16 |
Agostino Dovier [Italie] ; Carla Piazza [Italie] ; Enrico Pontelli [États-Unis] | Disunification in ACI 1 Theories |
| 006C19 |
Ting Zhang [États-Unis] ; Henny B. Sipma [États-Unis] ; Zohar Manna [États-Unis] | Decision Procedures for Recursive Data Structures with Integer Constraints |
| 006C20 |
Martín Abadi [États-Unis] ; Véronique Cortier [France] | Deciding Knowledge in Security Protocols Under Equational Theories |
| 006C21 |
Guillem Godoy [Espagne] ; Ashish Tiwari [États-Unis] | Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure |
| 006C25 |
Cesare Tinelli [États-Unis] ; Calogero G. Zarba [France] | Combining Decision Procedures for Sorted Theories |
| 006C27 |
Guillem Godoy [Espagne] ; Ashish Tiwari [États-Unis] ; Rakesh Verma [États-Unis] | Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems |
| 006C33 |
Alexander Keller [États-Unis] ; Remi Badonnel [France] | Automating the Provisioning of Application Services with the BPEL4WS Workflow Language |
| 006C38 |
K. Subramani [États-Unis] | Analyzing Selected Quantified Integer Programs |
| 006C57 |
Franz Baader ; Silvio Ghilardi ; Cesare Tinelli [États-Unis] | A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics |
| 006C84 |
Christophe Cerisara [France] ; Luca Rigazio [États-Unis] ; Jean-Claude Junqua [États-Unis] | α-Jacobian environmental adaptation |
| 006C88 |
Laurent Alonso [France] ; Philippe Chassaing [France] ; Edward M. Reingold [États-Unis] ; René Schott [France] | The worst-case chip problem |
| 006C98 |
Egon Balas [États-Unis] ; Alexander Bockmayr [France] ; Nicolai Pisaruk [France] ; Laurence Wolsey [Belgique] | On unions and dominants of polytopes |
| 006D00 |
James S. Royer [États-Unis] | On the computational complexity of Longley's H functional |
| 006D02 |
N. Danner [États-Unis] ; C. Pollett [États-Unis] | Minimization and NP multifunctions |
| 006D05 |
Daniel Leivant [États-Unis] | Intrinsic reasoning about functional programs II: unipolar induction and primitive-recursion |
| 006D16 |
Michel Cosnard [France] ; Emmanuel Jeannot [France] ; TAO YANG [États-Unis] | Compact DAG representation and its symbolic scheduling |
| 006D20 |
Ralph Benzinger [États-Unis] | Automated higher-order complexity analysis |
| 006E45 |
Christophe Cerisara [France] ; Luca Rigazio [États-Unis] ; Jean-Claude Junqua [États-Unis] | Alpha-Jacobian environmental adaptation |
| 006E49 |
Claire François [États-Unis] ; Marianne Hoerlesberger ; Shadi Al Shehabi [France] ; Xavier Polanco [États-Unis] ; Jean-Charles Lamirel [France] | Visualization of Web data: Complementarities between a graph and a multi-maps approach |
| 006F40 |
Ciprian Borcea [États-Unis] ; Xavier Goaoc [France] ; Sylvain Lazard [France] ; Sylvain Petitjean [France] | On Tangents to Quadric Surfaces |
| 006F66 |
Olivier Aycard [France] ; Jean-François Mari [France] ; Richard Washington [États-Unis] | Learning to automatically detect features for mobile robots using second-order Hidden Markov Models |
| 007022 |
Bruno Scherrer [France] ; Shie Mannor [États-Unis] | Error reducing sampling in reinforcement learning |
| 007072 |
Alexander Keller [États-Unis] ; Rémi Badonnel [France] | Automating the Provisioning of Application Services with the BPEL4WS Workflow Language |
| 007130 |
Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [États-Unis] | Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents |
| 007144 |
Jean-Charles Faugère [France] ; Milena Hering [France] ; Jeff Phan [États-Unis] | The Membrane Inclusions Curvature Equations |
| 007190 |
Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] ; Laurent Vigneron [France] | Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions |
| 007200 |
Olivier Aycard [France] ; Jean-François Mari [France] ; Richard Washington [États-Unis] | Learning to automatically detect features for mobile robots using second-order Hidden Markov Models |
| 007207 |
Dominique Besagni [États-Unis] ; Abdel Belaïd [France] ; Nelly Benet [France] | A segmentation method for bibliographic references by contextual tagging of fields |
| 007210 |
Laurent Romary [France] ; Nancy Ide [États-Unis] | Outline of the International Standard Linguistic Annotation Framework |
| 007224 |
Jean-Charles Lamirel [France] ; Shadi Al Shehabi [France] ; Martial Hoffmann [États-Unis] ; Claire Francois [États-Unis] | Intelligent patent analysis through the use of a neural network: experiment of multi-viewpoint analysis with the MultiSOM model |
| 007232 |
Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] | An NP Decision Procedure for Protocol Insecurity with XOR |
| 007288 |
Dominique Barth [États-Unis] ; Johanne Cohen [France] ; Corentin Durbach | Algorithmes de répartition de charge pour des simulations distribuées |
| 007295 |
Abdel Belaïd [France] ; Dominique Besagni [États-Unis] ; Nelly Benet [France] | Bibliographic Reference Segmentation for Bibliometrics |
| 007454 |
Hubert Comon-Lundh [France] ; Paliath Narendran [États-Unis] ; Robert Nieuwenhuis ; Michaël Rusinowitch [France] | Deciding the Confluence of Ordered Term Rewrite Systems |
| 007460 |
Yann Guermeur [France] ; André Elisseeff [États-Unis] ; Dominique Zelus | Bounds on the Risk for M-SVMs |
| 007461 |
Pierre Alliez [France] ; David Cohen-Steiner [France] ; Olivier Devillers [France] ; Bruno Lévy [France] ; Mathieu Desbrun [États-Unis] | Anisotropic Polygonal Remeshing |
| 007894 |
Dan Dougherty [États-Unis] ; Pierre Lescanne [France] | Reductions, intersection types, and explicit substitutions |
| 007964 |
Gottfried Zimmermann [États-Unis] ; Gregg Vanderheiden [États-Unis] ; Al Gilman [États-Unis, Niger] | Universal Remote Console - Prototyping for the Alternate Interface Access Standard |
| 007967 |
Daniel P. Roberts [États-Unis] ; Scott M. Lohrke [États-Unis] | United States Department of Agriculture–Agricultural Research Service research programs in biological control of plant diseases |
| 007968 |
Stephen O. Duke [États-Unis] ; Scott R. Baerson [États-Unis] ; Franck E. Dayan [États-Unis] ; Agnes M. Rimando [États-Unis] ; Brian E. Scheffler [États-Unis] ; Mario R. Tellez [États-Unis] ; David E. Wedge [États-Unis] ; Kevin K. Schrader [États-Unis] ; David H. Akey [États-Unis] ; Frank H. Arthur [États-Unis] ; Anthony J. De Lucca [États-Unis] ; Donna M. Gibson [États-Unis] ; Howard F. Harrison Jr [États-Unis] ; Joseph K. Peterson [États-Unis] ; David R. Gealy [États-Unis] ; Thomas Tworkoski [États-Unis] ; Charles L. Wilson [États-Unis] ; J Brad Morris [États-Unis] | United States Department of Agriculture–Agricultural Research Service research on natural products for pest management |
| 007969 |
Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | Unification Modulo ACUI Plus Homomorphisms/Distributivity |
| 007978 |
Zeljko Obrenovic ; Dusan Starcevic ; Emil Jovanov [États-Unis] | Toward Optimization of Multimodal User Interfaces for Tactical Audio Applications |
| 007979 |
Elaine M. Raybourn [États-Unis] | Toward Cultural Representation and Identification for All in Community-Based Virtual Environments |
| 007993 |
Zsuzsanna Doszta Nyi ; Csaba Magyar ; Ga Bor E. Tusna Dy ; Miklo S Cserzo [Hongrie] ; Andra S Fiser [États-Unis] ; Istva N Simon [Hongrie] | Servers for sequence–structure relationship analysis and prediction |
| 007A11 |
Shlomo Zilberstein [États-Unis] ; François Charpillet [France] ; Philippe Chassaing [France] | Optimal Sequencing of Contract Algorithms |
| 007A14 |
Egon Balas [États-Unis] ; Alexander Bockmayr [France] ; Nicolai Pisaruk [France] ; Laurence Wolsey [Belgique] | On unions and dominants of polytopes |
| 007A15 |
Daniel Abergel [France, États-Unis] ; Arthur G. Palmer Iii [États-Unis] | On the use of the stochastic Liouville equation in nuclear magnetic resonance: Application to R1ρ relaxation in the presence of exchange |
| 007A18 |
W. Reisig [États-Unis] | On Gurevich's theorem on sequential algorithms |
| 007A28 |
Eva K. Lee [États-Unis] ; Marco Zaider [États-Unis] | Mixed Integer Programming Approaches to Treatment Planning for Brachytherapy – Application to Permanent Prostate Implants |
| 007A29 |
Stephen C. Billups [États-Unis] ; Janine M. Kennedy [États-Unis] | Minimum-Support Solutions for Radiotherapy Planning |
| 007A37 |
Leslie Lamport [États-Unis] | Lower Bounds for Asynchronous Consensus |
| 007A41 |
Lanita Jacobs-Huey [États-Unis] | Ladies Are Seen, Not Heard: Language Socialization in a Southern, African American Cosmetology School |
| 007A43 |
Kimberly F. Abbett [États-Unis] ; Amyn S. Teja [États-Unis] ; Janusz Kowalik [États-Unis] ; Laren Tolbert [États-Unis] | Iodine doping of poly(3‐undecylbithiophene) and its composites with polystyrene using supercritical carbon dioxide |
| 007A56 |
Aaron G. Cass [États-Unis] ; Stanley M. Sutton Jr. [États-Unis] ; Leon J. Osterweil [États-Unis] | Formalizing Rework in Software Processes |
| 007A61 |
Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] ; Laurent Vigneron [France] | Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions |
| 007A66 |
M. Cecilia Wendler [États-Unis] | Effects of tellington touch in healthy adults awaiting venipuncture |
| 007A67 |
Julie A. Jacko [États-Unis] ; Ingrid U. Scott [États-Unis] ; François Sainfort [États-Unis] ; Kevin P. Moloney [États-Unis] ; Thitima Kongnakorn [États-Unis] ; Brynley S. Zorich [États-Unis] ; V. Kathlene Emery [États-Unis] | Effects of Multimodal Feedback on the Performance of Older Adults with Normal and Impaired Vision |
| 007A76 |
Allen Holder [États-Unis] | Designing Radiotherapy Plans with Elastic Constraints and Interior Point Methods |
| 007A84 |
Danny Z. Chen [États-Unis] ; Xiaobo Sharon Hu [États-Unis] ; Jinhui Xu [États-Unis] | Computing Optimal Beams in Two and Three Dimensions |
| 007A87 |
Nancy Lynch [États-Unis] ; Alex Shvartsman [États-Unis] | Communication and Data Sharing for Dynamic Distributed Systems |
| 007A88 |
G. Passarella [Italie] ; M. Vurro [Italie] ; V. D'Agostino [Italie] ; M. J. Barcelona [États-Unis] | Cokriging Optimization of Monitoring Network Configuration Based on Fuzzy and Non-Fuzzy Variogram Evaluation |
| 007A94 |
Anders Sewerin Johansen [États-Unis, Danemark] ; John Paulin Hansen [États-Unis, Danemark] | Augmentative and Alternative Communication: The Future of Text on the Move |
| 007A99 |
Panayiotis Zaphiris [Royaume-Uni] ; Sri Hastuti Kurniawan [Royaume-Uni] ; R. Darin Ellis [États-Unis] | Age Related Differences and the Depth vs. Breadth Tradeoff in Hierarchical Online Information Systems |
| 007B03 |
Leo Bachmair [États-Unis] ; Ashish Tiwari ; Laurent Vigneron [France] | Abstract Congruence Closure |
| 007B04 |
Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | ACID -Unification Is NEXPTIME-Decidable |
| 007B24 |
Safia Djennane [États-Unis] | 3D-Audio News Presentation Modeling |
| 007B39 |
Cesare Tinelli [États-Unis] ; Christophe Ringeissen [France] | Unions of non-disjoint theories and combinations of satisfiability procedures |
| 007B49 |
Gilles Barthe [États-Unis, France] ; Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori | Pure patterns Type systems |
| 007B51 |
Henry S. Baird [États-Unis] ; Allison L. Coates [États-Unis] ; Richard J. Fateman [États-Unis] | PessimalPrint: a reverse Turing test |
| 007B52 |
JUYANG WENG [États-Unis] ; Wey-Shiuan Hwang [États-Unis] | Online image classification using IHDR |
| 007B63 |
David Crandall [États-Unis] ; Sameer Antani [États-Unis] ; Rangachar Kasturi [États-Unis] | Extraction of special effects caption text events from digital video |
| 007B67 |
Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [États-Unis] | Deciding the security of protocols with Diffie-Hellman Exponentiation and products in exponents |
| 007B68 |
John F. Pitrelli [États-Unis] ; Amit Roy [États-Unis] | Creating word-level language models for large-vocabulary handwriting recognition |
| 007B82 |
Claire François [États-Unis] ; Martial Hoffmann ; Jean-Charles Lamirel [France] ; Xavier Polanco [France] | Multi-maps SOM platform |
| 007B83 |
Hervé Brönnimann [États-Unis] ; Hazel Everett [France] ; Sylvain Lazard ; Frank Sottile ; Sue Whitesides | Transversals to Line Segments in R^3 |
| 007D31 |
Hervé Bronnimann [États-Unis] ; Hazel Everett [France] ; Sylvain Lazard [France] ; Frank Sottile [Grèce] ; Sue Whitesides [Canada] | Transversals to Line Segments in R3 |
| 007E05 |
Slim Ouni [France] ; Michael Cohen [États-Unis] ; Dominic Massaro [États-Unis] ; Karl Young [États-Unis] ; Alexandra Jesse [États-Unis] | Internationalization of a Talking Head |
| 007E28 |
Nancy Ide [États-Unis] ; Laurent Romary [France] | Encoding Syntactic Annotation |
| 007E63 |
Claire François [États-Unis] ; Martial Hoffmann [États-Unis] ; Jean-Charles Lamirel [France] ; Xavier Polanco [États-Unis] ; Shadi Al Shehabi [France] | Artificial neural network mapping experiments |
| 007E64 |
Pierre Alliez [France] ; David Cohen-Steiner [France] ; Olivier Devillers [France] ; Bruno Lévy [France] ; Mathieu Desbrun [États-Unis] | Anisotropic Polygonal Remeshing |
| 007E83 |
Slim Ouni [États-Unis] ; Yves Laprie [France] | A study of the French Vowels Through The Main Constriction of the Vocal Tract Using an Acoustic-to-articulatory inversion method |
| 008048 |
Nancy Ide [États-Unis] ; Laurent Romary [France] | Standards for Language Resources |
| 008058 |
Virginie Galtier [France] ; Kevin Mills [États-Unis] ; Yannick Carlinet | Modeling CPU Demand in Heterogeneous Active Networks |
| 008239 |
Elias Dahlhaus [Allemagne] ; Jens Gustedt [France] ; Ross M. Mcconnell [États-Unis] | Partially complemented representations of digraphs |
| 008247 |
Nicolas Rémy [États-Unis] ; Arben Shtuka [France] ; Bruno Lévy [France] ; Jeff Caers [États-Unis] | GsTL: a geostatistical template library in C++ |
| 008679 |
Roger M. Loria [États-Unis] | Immune up-regulation and tumor apoptosis by androstene steroids. |
| 008722 |
Yifei Dong [États-Unis] ; Beata Sarna-Starosta [États-Unis] ; C. R. Ramakrishnan [États-Unis] ; Scott A. Smolka [États-Unis] | Vacuity Checking in the Modal Mu-Calculus* |
| 008723 |
Donald D. Hammill ; Nancy Mather [États-Unis] ; Elizabeth A. Allen ; Rhia Roberts [États-Unis] | Using Semantics, Grammar, Phonology, and Rapid Naming Tasks to Predict Word Identification |
| 008731 |
O. Bournez ; M. Branicky [États-Unis] | The Mortality Problem for Matrices of Low Dimensions |
| 008732 |
Jasjit S. Suri [États-Unis] ; David Chopp [États-Unis] ; Alessandro Sarti [Italie] ; Swamy Laxminarayan [États-Unis] | The Future of PDEs and Level Sets |
| 008738 |
Atul Chhabra [États-Unis] ; Karl Tombre [France] | Summary of Panel Discussions at GREC’2001 |
| 008744 |
Mats Skoglund [États-Unis, Suède] | Sharing Objects by Read-Only References |
| 008748 |
Ernst Althaus [États-Unis] ; Alexander Bockmayr [France] ; Matthias Elf [Allemagne] ; Michael Jünger [Allemagne] ; Thomas Kasper [Allemagne] ; Kurt Mehlhorn [Allemagne] | SCIL — Symbolic Constraints in Integer Linear Programming |
| 008774 |
M. Wirtz [États-Unis] ; C. R. Martin [États-Unis] | Nanotube Membrane Sensors: Resistive Sensing and Ion Channel Mimetics |
| 008777 |
Diane E. Bild ; David A. Bluemke ; Gregory L. Burke ; Robert Detrano ; Ana V. Diez Roux [États-Unis] ; Aaron R. Folsom ; Philip Greenland ; David R. Jacobsjr. ; Richard Kronmal [États-Unis] ; Kiang Liu ; Jennifer Clark Nelson [États-Unis] ; Daniel O Eary ; Mohammed F. Saad ; Steven Shea [États-Unis] ; Moyses Szklo ; Russell P. Tracy | Multi-Ethnic Study of Atherosclerosis: Objectives and Design |
| 008778 |
Marc Wirtz [États-Unis] ; Matthew Parker [États-Unis] ; Yoshio Kobayashi [États-Unis, Japon] ; Charles R. Martin [États-Unis] | Molecular Sieving and Sensing with Gold Nanotube Membranes |
| 008792 |
João Araújo [Portugal] ; Jonathan Whittle [États-Unis] ; Ambrosio Toval [Espagne] ; Robert France [États-Unis] | Integration and Transformation of UML Models |
| 008794 |
Dominique Cansell [France] ; Ganesh Gopalakrishnan [États-Unis] ; Mike Jones [États-Unis] ; Dominique Méry [France] ; Airy Weinzoepflen [France] | Incremental Proof of the Producer/Consumer Property for the PCI Protocol |
| 008797 |
Dale Miller [États-Unis] | Higher-Order Quantification and Proof Search* |
| 008799 |
Lutz Schröder [États-Unis] ; Till Mossakowski [États-Unis] | HasCasl: Towards Integrated Specification and Development of Functional Programs |
| 008800 |
Dusko Pavlovic [États-Unis] ; Douglas R. Smith [États-Unis] | Guarded Transitions in Evolving Specifications |
| 008801 |
Christian Haack [États-Unis] ; Brian Howard [États-Unis] ; Allen Stoughton [États-Unis] ; Joe B. Wells [États-Unis] | Fully Automatic Adaptation of Software Components Based on Semantic Specifications* |
| 008802 |
David Aspinall [États-Unis] ; Donald Sannella [États-Unis] | From Specifications to Code in Casl |
| 008810 |
Nelda Samarel [États-Unis] ; Lorraine Tulman [États-Unis] ; Jacqueline Fawcett [États-Unis] | Effects of two types of social support and education on adaptation to early‐stage breast cancer |
| 008812 |
Dominique Méry [France] ; Beverly Sanders [États-Unis] | Editorial Note |
| 008834 |
Tatiana Rybina [États-Unis, Royaume-Uni] ; Andrei Voronkov [États-Unis, Royaume-Uni] | BRAIN: Backward Reachability Analysis with Integers |
| 008844 |
-D. Boissonnat ; Ghosh [États-Unis] ; Kavitha [États-Unis] ; Lazard | An Algorithm for Computing a Convex and Simple Path of Bounded Curvature in a Simple Polygon |
| 008854 |
P. Barthelmess [États-Unis] ; K. M. Anderson [États-Unis] | A View of Software Development Environments Based on Activity Theory |
| 008855 |
Prasannaa Thati [États-Unis] ; Reza Ziaei [États-Unis] ; Gul Agha [États-Unis] | A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching |
| 008868 |
Gilles Ardourel [France] ; Michael Haupt [Allemagne] ; José Luis Herrero Agustín [Espagne] ; Rainer Ruggaber [Allemagne] ; Charles Suscheck [États-Unis] | 11th Workshop for PhD Students in Object-Oriented Systems |
| 008911 |
Nicolas Remy [États-Unis] ; Arben Shtuka [France] ; Bruno Levy [France] ; Jef Caers [États-Unis] | GSTL: the geostatistical template library in C++ |
| 008915 |
Christophe Cerisara [France] ; Jean-Claude Junqua [États-Unis] ; Luca Rigazio [États-Unis] | Dynamic estimation of a noise over estimation factor for Jacobian-based adaptation |
| 008917 |
Pankaj K. Agarwal [États-Unis] ; Therese Biedl [Canada] ; Sylvain Lazard [France] ; Steve Robbins [Canada] ; Subhash Suri [États-Unis] ; Sue Whitesides [Canada] | Curvature-constrained shortest paths in a convex polygon |
| 008922 |
Oliver Lemon [États-Unis] ; Alexander Gruenstein [États-Unis] ; Stanley Peters [États-Unis] | Collaborative activities and multi-tasking in dialogue systems: Towards natural dialogue with robots |
| 008B16 |
Olivier Aycard [France] ; Jean-François Mari [France] ; Richard Washington [États-Unis] | Learning to automatically detect features for mobile robots using second-order Hidden Markov Models |
| 008B50 |
Christophe Cerisara [France] ; Jean-Claude Junqua [États-Unis] ; Luca Rigazio [États-Unis] | Dynamic estimation of a noise over estimation factor for Jacobian-based adaptation |
| 008C45 |
Jean-Charles Lamirel [France] ; Yannick Toussaint [France] ; Jacques Ducloy ; Catherine Czysz ; Claire François [États-Unis] | Réseaux neuronaux avancés pour la cartographie de la science et de la technologie : Application à l'analyse des brevets |
| 008C72 |
Jean-Charles Lamirel [France] ; Yannick Toussaint [France] ; Claire François [États-Unis] ; Xavier Polanco [États-Unis] | Using a MultiSOM approach for Mapping of Science and Technology |
| 008D08 |
Christophe Cerisara [France] ; Luca Rigazio [États-Unis] ; Robert Boman [États-Unis] ; Jean-Claude Junqua [États-Unis] | Environmental adaptation based on first order approximation |
| 009173 |
Michael A. Proschan [États-Unis] ; Robert P. Mcmahon [États-Unis] ; Joanna H. Shih [États-Unis] ; Sally A. Hunsberger [États-Unis] ; Nancy L. Geller [États-Unis] ; Genell Knatterud [États-Unis] ; Janet Wittes [États-Unis] | Sensitivity analysis using an imputation method for missing binary data in clinical trials |
| 009192 |
James Risbey [États-Unis] | JAMES RODGER FLEMING, Historical Perspectives on Climate Change. New York and Oxford: Oxford University Press, 1998. Pp. xiii+194. ISBN 0-19-507870-5. No price given. |
| 009206 |
Vincent D. Blondel [Belgique] ; Olivier Bournez [France] ; Pascal Koiran [France] ; Christos H. Papadimitriou [États-Unis] ; John N. Tsitsiklis [États-Unis] | Deciding stability and mortality of piecewise affine dynamical systems |
| 009218 |
Radhika Sivaramakrishna [États-Unis] ; Nancy A. Obuchowski [États-Unis] ; William A. Chilcote [États-Unis] ; Kimerly A. Powell [États-Unis] | Automatic Segmentation of Mammographic Density |
| 009267 |
Mary E. Cadigan [États-Unis] ; Nancy A. Caruso [États-Unis] ; Sioban M. Haldeman [États-Unis] ; Mary Ellen Mcnamara [États-Unis] ; Dorothy A. Noyes [États-Unis] ; M. Ann Spadafora [États-Unis] ; Diane L. Carroll [États-Unis] | The Effects of Music on Cardiac Patients on Bed Rest |
| 009268 |
Alessandro Armando [Italie] ; Alessandro Coglio [États-Unis] ; Fausto Giunchiglia [Italie] ; Silvio Ranise [Italie] | The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics |
| 009270 |
Dieter Hofbauer [États-Unis] | Termination Proofs for Ground Rewrite Systems – Interpretations and Derivational Complexity |
| 009294 |
Marc S. Horwitz [États-Unis] ; Cody Fine [États-Unis] ; Alex Ilic [États-Unis] ; Nora Sarvetnick [États-Unis] | Requirements for Viral-mediated Autoimmune Diabetes: β-Cell Damage and Immune Infiltration |
| 009295 |
Seraphin B. Calo [États-Unis] ; Gautam Kar [États-Unis] | Report, edited by Paul Brusil: Services Management in Intelligent Networks—Report on DSOM 2000 |
| 009300 |
Edward P. Stabler [États-Unis] | Recognizing Head Movement |
| 009316 |
David Kerlick [États-Unis] ; Eric Dillon [États-Unis] ; David Levine [États-Unis] | Performance Testing of a Parallel Multiblock CFD Solver |
| 009317 |
Torbjörn Lager [États-Unis, Suède] ; Joakim Nivre [États-Unis, Suède] | Part of Speech Tagging from a Logical Point of View |
| 009321 |
Geoffrey K. Pullum [États-Unis] ; Barbara C. Scholz [États-Unis] | On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic Frameworks |
| 009324 |
K. Ounadjela [France, États-Unis] ; I. L. Prejbeanu [France] ; L. D. Buda [France] ; U. Ebels [France] ; M. Hehn [France] | Observation of Micromagnetic Configurations in Mesoscopic Magnetic Elements |
| 009348 |
Mary J. Berg [États-Unis] ; Don C. Vandyke [États-Unis] ; Cathy Chenard [États-Unis] ; Jennifer R. Niebyl [États-Unis] ; Sarapee Hirankarn [États-Unis] ; Adrianne Bendich [États-Unis] ; Phyllis Stumbo [États-Unis] | Folate, Zinc, and Vitamin B-12 Intake During Pregnancy and Postpartum |
| 009360 |
Danny Z. Chen [États-Unis] ; Ovidiu Daescu [États-Unis] ; Xiaobo Sharon Hu [États-Unis] ; Xiaodong Wu [États-Unis] ; Jinhui Xu [États-Unis] | Determining an Optimal Penetration Among Weighted Regions in Two and Three Dimensions |
| 009365 |
M. Vardelle [France] ; P. Fauchais [France] ; A. Vardelle [France] ; K. I. Li [France] ; B. Dussoubs [France] ; N. J. Themelis [États-Unis] | Controlling particle injection in plasma spraying |
| 009379 |
A. Kacem [États-Unis] ; Abdel Belaïd [France] ; M. Ben Ahmed [États-Unis] | Automatic extraction of printed mathematical formulas using fuzzy logic and propagation of context |
| 009385 |
Patrick F. Sullivan [États-Unis] ; F. Anthony O'Neill [États-Unis] ; Dermot Walsh [États-Unis] ; Yunlong Ma [États-Unis] ; Kenneth S. Kendler [États-Unis] ; Richard E. Straub [États-Unis] | Analysis of epistasis in linked regions in the Irish study of high‐density schizophrenia families |
| 009394 |
Faith E. Fich [Canada, États-Unis] ; Colette Johnen [France] | A Space Optimal, Deterministic, Self-stabilizing, Leader Election Algorithm for Unidirectional Rings |
| 009404 |
Henk Harkema [États-Unis] | A Characterization of Minimalist Languages |
| 009408 |
Bernhard Westfechtel [États-Unis] | Ein graphbasiertes Managementsystem für dynamische Entwicklungsprozesse |
| 009448 |
Arantza Casillas [Espagne] ; Raquel Martinez [États-Unis] | Bitext segmentation and alignment for specialized document composition |
| 009451 |
Nancy Ide [États-Unis] ; Laurent Romary [France] | A common framework for syntactic annotation |
| 009545 |
Denys Duchier [États-Unis] ; Claire Gardent [France] | Tree Descriptions, Constraints and Incrementality |
| 009547 |
Martine Grice ; Mariapaola D'Imperio [France] ; Michelina Savino [États-Unis] ; Cinzia Avesani | Towards a Strategy for ToBI labelling varieties of Italian |
| 009601 |
Virginie Galtier [France] ; Kevin Mills [États-Unis] ; Yannick Carlinet [États-Unis] ; Stephen Bush ; Amit Kulkarni | Predicting resource demand in heterogeneous active networks |
| 009602 |
Virginie Galtier [France] ; Kevin Mills [États-Unis] ; Yannick Carlinet [États-Unis] ; Stephen Bush ; Amit Kulkarni | Predicting and Controlling Resource Usage in a Heterogeneous Active Network |
| 009658 |
Jean-Claude Junqua [États-Unis] ; Christophe Cerisara [France] ; Luca Rigazio [États-Unis] ; David Kryze [États-Unis] | Environment-adaptive algorithms for robust speech recognition |
| 009693 |
Rakesh Verma [États-Unis] ; Michaël Rusinowitch [France] ; Denis Lugiez | Algorithms and Reductions for Rewriting Problems |
| 009703 |
Nicolas P. Rougier [États-Unis] ; Frédéric Alexandre [France] | A cerebral framework for integrating biologically plausible mechanisms in large connectionist models |
| 009717 |
Nancy Ide [États-Unis] ; Laurent Romary [France] | XML support for Annotated Language Resources |
| 009746 |
Mariapaola D Imperio [États-Unis] ; Jacques Terken [Pays-Bas] ; Michel Pitermann [France] | PERCEIVED TONE " TARGETS " AND PITCH ACCENT IDENTIFICATION IN ITALIAN |
| 009761 |
Laurent Ciarletta [France] ; Alden Dima [États-Unis] | A Conceptual Model for Pervasive Computing |
| 009784 |
Nancy Ide [États-Unis] ; Patrice Bonhomme [France] ; Laurent Romary [France] | CES/XML : An XML-based Standard for Linguistic Corpora |
| 009803 |
Leo Bachmair [États-Unis] ; I. V. Ramakrishnan [États-Unis] ; Ashish Tiwari [États-Unis] ; Laurent Vigneron [France] | Congruence Closure modulo Associativity-Commutativity |
| 009939 |
Daniel Leivant [États-Unis] ; Jean-Yves Marion [France] | Ramified Recurrence and Computational Complexity IV : Predicative Functionals and Poly-Space |
| 009C98 |
R M Loria [États-Unis] ; D H Conrad ; T. Huff ; H. Carter ; D. Ben-Nathan | Androstenetriol and androstenediol. Protection against lethal radiation and restoration of immunity after radiation injury. |
| 009D06 |
Thomas J. Hanratty [États-Unis] ; Bennett D. Woods [États-Unis] ; Ilias Iliopoulos [États-Unis] ; Lei Pan [États-Unis] | The roles of interfacial stability and particle dynamics in multiphase flows: a personal viewpoint |
| 009D11 |
Adel Bouhoula [États-Unis, France] ; Jean-Pierre Jouannaud [France] ; José Meseguer [États-Unis] | Specification and proof in membership equational logic |
| 009D17 |
Kelly D. Glover [États-Unis] | Proximal and distal deixis in negotiation talk |
| 009D27 |
Craig B. Borkowf [États-Unis] | On multidimensional contingency tables with categories defined by the empirical quantiles of the marginal data |
| 009D50 |
Iliano Cervesato [États-Unis] ; Joshua S. Hodas [États-Unis] ; Frank Pfenning [États-Unis] | Efficient resource management for linear logic proof search |
| 009D60 |
David M. Reboussin [États-Unis] ; David L. Demets [États-Unis] ; Kyungmann Kim [États-Unis] ; K. K. Gordon Lan [États-Unis] | Computations for Group Sequential Boundaries Using the Lan-DeMets Spending Function Method |
| 009D70 |
Daniel Leivant [États-Unis] ; Jean-Yves Marion [États-Unis, France] | A characterization of alternating log time by ramified recurrence |
| 009E13 |
Jennifer Shi [États-Unis] ; Stacy Schulze [États-Unis] ; Henry A. Lardy [États-Unis] | The effect of 7-oxo-DHEA acetate on memory in young and old C57BL/6 mice |
| 009E14 |
Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | The Theory of Total Unary RPO Is Decidable |
| 009E15 |
Vincent D. Blondel [Belgique] ; Olivier Bournez [France] ; Pascal Koiran [France] ; John N. Tsitsiklis [États-Unis] | The Stability of Saturated Linear Dynamical Systems Is Undecidable |
| 009E20 |
Vincent Barletta [États-Unis] | Ten‐Year Index of JLA |
| 009E23 |
Michel Cosnard [France] ; Emmanuel Jeannot [France] ; Tao Yang [États-Unis] | Symbolic Scheduling of Parameterized Task Graphs on Parallel Machines |
| 009E24 |
Arnaud Durand [France] ; Miki Hermann [France] ; Phokion G. Kolaitis [États-Unis] | Subtractive Reductions and Complete Problems for Counting Complexity Classes |
| 009E41 |
Deepak Kapur [États-Unis] ; G. Sivakumar [Inde] | Proving Associative-Commutative Termination Using RPO-Compatible Orderings |
| 009E53 |
Danny Z. Chen [États-Unis] ; Xiaobo Hu [États-Unis] ; Jinhui Xu [États-Unis] | Optimal Beam Penetrations in Two and Three Dimensions |
| 009E54 |
Eric Fleury [France] ; Yih Huang [États-Unis] ; Philip K. Mckinley [États-Unis] | On the performance and feasibility of multicast core selection heuristics |
| 009E75 |
Vicki Tolar Burton [États-Unis] ; Scott A. Chadwick [États-Unis] | Investigating the practices of student researchers: patterns of use and criteria for use of internet and library sources |
| 009E87 |
Anne N. Maggioncalda [États-Unis] ; Nancy M. Czekala [États-Unis] ; Robert M. Sapolsky [États-Unis] | Growth hormone and thyroid stimulating hormone concentrations in captive male orangutans: Implications for understanding developmental arrest |
| 009E95 |
Beverly Sanders [États-Unis] ; Dominique Méry [France] | Fifth International Workshop on Formal Methods for Parallel Programming: Theory and Applications FMPPTA 2000 |
| 009E97 |
Stefania Cavallar [Pays-Bas] ; Bruce Dodson [États-Unis] ; Arjen K. Lenstra [États-Unis] ; Walter Lioen [Pays-Bas] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Brian Murphy [Australie] ; Herman Te Riele [Pays-Bas] ; Karen Aardal [Pays-Bas] ; Jeff Gilchrist [Canada] ; Gérard Guillerm [France] ; Paul Leyland [Royaume-Uni] ; Jöel Marchand [France] ; François Morain [France] ; Alec Muffett [Royaume-Uni] ; Chris And Craig Putnam [États-Unis] ; Paul Zimmermann [France] | Factorization of a 512-Bit RSA Modulus |
| 009E99 |
Kimberly K. Leslie [États-Unis] ; Leonid Reznikov [États-Unis] ; Francis R. Simon [États-Unis] ; Paul V. Fennessey [États-Unis] ; Humberto Reyes [Chili] ; Jose Ribalta [Chili] | Estrogens in intrahepatic cholestasis of pregnancy |
| 009F02 |
Rebecca S. Pobocik [États-Unis] ; Janet C. Benavente ; Allison C. Schwab [États-Unis] ; Nancy Boudreau [États-Unis] ; Charles H. Morris ; M. Sue Houston [États-Unis] | Effect of a Breastfeeding Education and Support Program on Breastfeeding Initiation and Duration in a Culturally Diverse Group of Adolescents |
| 009F04 |
Bernhard Gramlich [Autriche] ; Hélène Kirchner [France] ; Frank Pfenning [États-Unis] | Editorial: Strategies in Automated Deduction |
| 009F13 |
L. Bachmair [États-Unis] ; I. V. Ramakrishnan [États-Unis] ; A. Tiwari [États-Unis] ; L. Vigneron [France] | Congruence Closure Modulo Associativity and Commutativity |
| 009F14 |
Gene D. Morse [États-Unis] ; Richard C. Reichman [États-Unis] ; Margaret A. Fischl [États-Unis] ; Michael Para [États-Unis] ; John Leedom [États-Unis] ; William Powderly [États-Unis] ; Lisa M. Demeter [États-Unis] ; Lionel Resnick [États-Unis] ; Yiannis Bassiakos [États-Unis] ; Joseph Timpone [États-Unis] ; Steve Cox [États-Unis] ; Donald Batts [États-Unis] | Concentration-targeted phase I trials of atevirdine mesylate in patients with HIV infection: dosage requirements and pharmacokinetic studies |
| 009F15 |
Alessandro Coglio [États-Unis] ; Fausto Giunchiglia [Italie] ; José Meseguer [États-Unis] ; Carolyn L. Talcott [États-Unis] | Composing and Controlling Search in Reasoning Theories Using Mappings |
| 009F17 |
Sergio Antoy [États-Unis] ; Michael Hanus [Allemagne] | Compiling Multi-paradigm Declarative Programs into Prolog |
| 009F21 |
Franz Baader [Allemagne] ; Cesare Tinelli [États-Unis] | Combining Equational Theories Sharing Non-Collapse-Free Constructors |
| 009F23 |
Tomás E. Uribe [États-Unis] | Combinations of Model Checking and Theorem Proving |
| 009F50 |
Hans Zantema ; Alfons Geser [États-Unis] | A Complete Characterization of Termination of 0p 1q→ 1r 0s |
| 009F81 |
Eugene Bodansky [États-Unis] ; Morakot Pilouk [États-Unis] | Using local deviations of vectorization to enhance the performance of raster-to-vector conversion systems |
| 009F82 |
A. Felty [États-Unis] | The calculus of constructions as a framework for proof search with set variable instantiation |
| 009F85 |
J. L. Caldwell [États-Unis] ; I. P. Gent [Royaume-Uni] ; J. Underwood [Royaume-Uni] | Search algorithms in type theory |
| 009F93 |
T. Arai [Japon] ; G. Mints [États-Unis] | Extended normal form theorems for logical proofs from axioms |
| 009F98 |
R. Mcdowell [États-Unis] ; D. Miller [États-Unis] | Cut-elimination for a logic with definitions and induction |
| 009F99 |
G. Nadathur [États-Unis] | Correspondences between classical, intuitionistic and uniform provability |
| 00A118 |
Christophe Cerisara [France] ; Luca Rigazio [États-Unis] ; Robert Boman [États-Unis] ; Jean-Claude Junqua [États-Unis] | Transformation of Jacobian matrices for noisy speech recognition |
| 00A123 |
Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France] | The theory of total unary RPO is decidable |
| 00A206 |
Claire François [États-Unis] ; Xavier Polanco [États-Unis] ; Jean-Charles Lamirel [France] | Information Visualization and Analysis for Knowledge Discovery: Using a Multi Self-Organizing Mapping |
| 00A228 |
Virginie Galtier [France] ; Kevin Mills [États-Unis] ; Yannick Carlinet [États-Unis] ; Stefan Leigh [États-Unis] ; Andrew Rukhin [États-Unis] | Expressing meaningful processing requirements among heterogeneous nodes in an active network |
| 00A244 |
Pankaj K. Agarwal [États-Unis] ; Thérèse Biedl [Canada] ; Sylvain Lazard [France] ; Steve Robbins [Canada] ; Subhash Suri [États-Unis] ; Sue Whitesides [Canada] | Curvature-Constrained Shortest Paths in a Convex Polygon |
| 00A261 |
Yannick Carlinet [États-Unis] ; Virginie Galtier [France] ; Kevin Mills [États-Unis] ; Stefan Leigh [États-Unis] ; Andrew Rukhin [États-Unis] | Calibrating an Active Network Node |
| 00A279 |
Jean-Charles Lamirel [France] ; Xavier Polanco [États-Unis] ; Claire François [États-Unis] | Adaptive Mapping Model for Data Clustering and Visualization |
| 00A319 |
Pascal Matsakis [États-Unis] ; James M. Keller [États-Unis] ; Laurent Wendling [France] | F-histogrammes et relations spatiales directionnelles floues |
| 00A321 |
Mudumbai Ranganathan [États-Unis] ; Virginie Schaal [États-Unis] ; Virginie Galtier [France] ; Douglas Montgomery [États-Unis] | Mobile Streams: A Middleware for Reconfigurable Distributed Scripting |
| 00A333 |
Miki Hermann [France] ; Laurent Juban [France] ; Phokion G. Kolaitis [États-Unis] | On the complexity of counting the Hilbert basis of a linear Diophantine system |
| 00A342 |
Marc Stamminger [Allemagne] ; Daniel Wexler [États-Unis] ; Wolfram Kresse [Allemagne] ; Nicolas Holzschuch [France] ; Per Christensen [États-Unis] | Advanced Radiosity: Complex Scenes and Glossy Reflections |
| 00A360 |
Jean-Paul Gibson [États-Unis] ; Dominique Méry [France] ; Yassine Mokhtari [France] | Animating formal specifications : a telephone simulation case study |
| 00A371 |
Martial Michel [France] ; André Schaff [France] ; Judith Ellen Devaney [États-Unis] | Managing data-types: the CORBA Approach and AutoMap/AutoLink, an MPI Solution |
| 00A372 |
Thérèse Biedl [France] ; Erik Demaine [France] ; Martin Demaine [France] ; Sylvain Lazard [France] ; Anna Lubiw [France] ; Joseph O'Rourke [États-Unis] ; M. Overmars [France] ; Steve Robbins [Canada] ; Ileana Streinu [États-Unis] ; Godfried Toussaint [Canada] ; Sue Whitesides [Canada] | Locked and Unlocked Polygonal Chains in Three Dimensions |
| 00A825 |
David A. Plaisted [États-Unis] ; Gregory Kucherov [États-Unis, France] | The complexity of some complementation problems |
| 00A836 |
Alexander Bockmayr [France] ; Friedrich Eisenbrand [Allemagne] ; Mark Hartmann [États-Unis] ; Andreas S. Schulz [États-Unis] | On the Chvátal rank of polytopes in the 0/1 cube |
| 00A850 |
Stéphane Vialle [France] ; Yannick Lallement [États-Unis] ; Thierry Cornu [France] | Design and implementation of a parallel cellular language for MIMD architectures |
| 00A854 |
Nancy M. Fenn Buderer [États-Unis] ; Michael C. Plewa [États-Unis] | Collaboration among emergency medicine physician researchers and statisticians: Resources and attitudes |
| 00A906 |
J. Lambek [États-Unis] | Type Grammar Revisited |
| 00A916 |
Marc Buyse [Belgique] ; Stephen L. George [États-Unis] ; Stephen Evans [Royaume-Uni] ; Nancy L. Geller [États-Unis] ; Jonas Ranstam [Suède] ; Bruno Scherrer [France] ; Emmanuel Lesaffre [Belgique] ; Gordon Murray [Royaume-Uni] ; Lutz Edler [Allemagne] ; Jane Hutton [Royaume-Uni] ; Theodore Colton [États-Unis] ; Peter Lachenbruch [États-Unis] ; Babu L. Verma [Inde] | The role of biostatistics in the prevention, detection and treatment of fraud in clinical trials |
| 00A920 |
M. Clavel [Espagne] ; F. Durán [États-Unis] ; S. Eker [États-Unis] ; P. Lincoln [États-Unis] ; N. Martí-Oliet [Espagne] ; J. Meseguer [Espagne] ; J. F. Quesada [Espagne] | The Maude System |
| 00A927 |
Laura P. Svetkey [États-Unis] ; Frank M. Sacks [États-Unis] ; Eva Obarzanek [États-Unis] ; William M. Vollmer [États-Unis] ; Lawrence J. Appel [États-Unis] ; Pao-Hwa Lin [États-Unis] ; Njeri M. Karanja [États-Unis] ; David W. Harsha [États-Unis] ; George A. Bray [États-Unis] ; Mikel Aickin [États-Unis] ; Michael A. Proschan [États-Unis] ; Marlene M. Windhauser [États-Unis] ; Janis F. Swain [États-Unis] ; Phyllis B. Mccarron [États-Unis] ; Donna G. Rhodes [États-Unis] ; Reesa L. Laws [États-Unis] | The DASH Diet, Sodium Intake and Blood Pressure Trial (DASH-Sodium) |
| 00A946 |
Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] ; Rakesh Verma [États-Unis] | RPO Constraint Solving Is in NP |
| 00A954 |
Weldon A. Lodwick [États-Unis] ; Steve Mccourt [États-Unis] ; Francis Newman [États-Unis] ; Stephen Humphries [États-Unis] | Optimization Methods for Radiation Therapy Plans |
| 00A959 |
Miki Hermann [France] ; Laurent Juban [France] ; Phokion G. Kolaitis [États-Unis] | On the Complexity of Counting the Hilbert Basis of a Linear Diophantine System |
| 00A963 |
L. Bachmair [États-Unis] ; C. R. Ramakrishnan [États-Unis] ; I. V. Ramakrishnan [États-Unis] ; A. Tiwari [États-Unis] | Normalization via Rewrite Closures |
| 00A967 |
M. Gu [Hong Kong] ; D. Follmann [États-Unis] ; Nl Geller [États-Unis] | Monitoring a general class of two-sample survival statistics with applications |
| 00A968 |
Rodion M. Podorozhny [États-Unis] ; Barbara Staudt Lerner [États-Unis] ; Leon J. Osterweil [États-Unis] | Modeling Resources for Activity Coordination and Scheduling |
| 00A971 |
T. Es-Sqalli [France] ; E. Fleury [France] ; E. Dillon [États-Unis] ; J. Guyard1 [France] | Message-Passing Specification in a CORBA Environment |
| 00A976 |
Sebastian Shaumyan [États-Unis] ; Paul Hudak [États-Unis] | Linguistic, Philosophical, and Pragmatic Aspects of Type-Directed Natural Language Parsing |
| 00A980 |
Peter Ladkin [États-Unis] ; Leslie Lamport [États-Unis] ; Bryan Olivier ; Denis Roegel | Lazy caching in TLA |
| 00A981 |
Danielle Raquidel [États-Unis] | Labyrinthe obsessif du "ludibrique" dans derrière la porte d'Alina Reyes |
| 00A987 |
Kim M. Gans [États-Unis] ; H. Joan Lovell [États-Unis] ; Raul Fortunet [États-Unis] ; Catherine Mc Mahon [États-Unis] ; Susan Carton-Lopez [États-Unis] ; Thomas M. Lasater [États-Unis] | Implications of Qualitative Research for Nutrition Education Geared to Selected Hispanic Audiences |
| 00A999 |
Stefania Cavallar [Pays-Bas] ; Bruce Dodson [États-Unis] ; Arjen Lenstra [États-Unis] ; Paul Leyland [Royaume-Uni] ; Walter Lioen [Pays-Bas] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Brian Murphy [Australie] ; Herman Te Riele [Pays-Bas] ; Paul Zimmermann [France] | Factorization of RSA-140 Using the Number Field Sieve |
| 00AA02 |
P. Orlandi [Italie] ; G. F. Carnevale [États-Unis] | Evolution of isolated vortices in a rotating fluid of finite depth |
| 00AA04 |
David B. Allison [États-Unis] ; S. Kathleen Egan [États-Unis] ; Leila M. Barraj [États-Unis] ; Clifford Caughman [États-Unis] ; Ming Infante [États-Unis] ; James T. Heimbach [États-Unis] | Estimated Intakes of Trans Fatty and Other Fatty Acids in the US Population |
| 00AA15 |
Franz Baader [Allemagne] ; Cesare Tinelli [États-Unis] | Deciding the Word Problem in the Union of Equational Theories Sharing Constructors |
| 00AA28 |
Miki Hermann [France] ; Phokion G. Kolaitis [États-Unis] | Computational Complexity of Simultaneous Elementary Matching Problems |
| 00AA32 |
Chien H. Chen [États-Unis] ; Stephen J. Finch [États-Unis] ; Nancy R. Mendell [États-Unis] ; Derek Gordon [États-Unis] | Comparison of empirical strategies to maximize GENEHUNTER lod scores |
| 00AA61 |
Joshua S. Hodas [États-Unis] | A Linear Logic Treatment of Phrase Structure Grammars For Unbounded Dependencies |
| 00AA63 |
Neil Risch [États-Unis] ; Donna Spiker ; Linda Lotspeich ; Nassim Nouri ; David Hinds ; Joachim Hallmayer ; Luba Kalaydjieva ; Patty Mccague ; Sue Dimiceli ; Tawna Pitts ; Loan Nguyen ; Joan Yang ; Courtney Harper ; Danielle Thorpe ; Saritha Vermeer ; Helena Young ; Joan Hebert ; Alice Lin ; Joan Ferguson ; Carla Chiotti ; Susan Wiese-Slater ; Tamara Rogers ; Boyd Salmon ; Peter Nicholas ; P. Brent Petersen ; Carmen Pingree ; William Mcmahon ; Dona L. Wong ; L. Luca Cavalli-Sforza ; Helena C. Kraemer ; Richard M. Myers | A Genomic Screen of Autism: Evidence for a Multilocus Etiology |
| 00AA70 |
Rakesh Verma [États-Unis] ; Shalitha Senanayake [États-Unis] | $$\overrightarrow {LR} ^2 $$: A Laboratory for Rapid Term Graph Rewriting |
| 00AA97 |
S. Cavallar [Pays-Bas] ; W. Lioen [Pays-Bas] ; H. Te Riele [Pays-Bas] ; B. Dodson [États-Unis] ; A. Lenstra [États-Unis] ; P. Leyland [Royaume-Uni] ; P. L. Montgomery [États-Unis] ; B. Murphy [Australie] ; P. Zimmermann [France] | Factorization of RSA-140 using the number field Sieve |
| 00AB02 |
H. Kirchner [France] ; P. D. Mosses [États-Unis] | Algebraic specifications, higher-order types, and set-theoretic models |
| 00AB91 |
Mudumbai Ranganathan [États-Unis] ; Laurent Andrey [France] ; Virginie Galtier [France] ; Virginie Schaal [États-Unis] | AGNI : encore une plate-forme à agents mobiles ! |
| 00AC01 |
Tawfik Es-Sqalli [France] ; Jacques Guyard [France] ; Eric Dillon [États-Unis] | Using MeDLey for the Grid-Decomposition Methods |
| 00AC33 |
Taegyun Kim [États-Unis] ; Gyusang Shin ; Nacer Boudjlida [France] | Similarity in the Design and the Implementation of a Multi-Platform CASE Tool |
| 00AC52 |
Shlomo Zilberstein [États-Unis] ; François Charpillet [France] ; Philippe Chassaing | Real-Time Problem-Solving with Contract Algorithms |
| 00AC64 |
Shlomo Zilberstein [États-Unis] ; François Charpillet [France] ; Philippe Chassaing [France] | Optimal Sequencing of Contract Algorithms |
| 00AD08 |
Jean-Paul Gibson [États-Unis] ; Dominique Méry [France] | Formal modelling of services for getting a better understanding of the feature interaction problem - multi-view approach |
| 00AD11 |
Martial Michel [France] ; Judith Ellen Devaney [États-Unis] | Fine Packet Size Tuning with AutoLink |
| 00AD86 |
Pankaj K. Agarwal [États-Unis] ; Thérèse Biedl [Canada] ; Sylvain Lazard [France] ; Steve Robbins [Canada] ; Subhash Suri [États-Unis] ; Sue Whitesides [Canada] | Curvature-Constrained Shortest Paths in a Convex Polygon |
| 00AD87 |
Dan Cristea [Roumanie] ; Nancy Ide [États-Unis] ; Laurent Romary [France] | Marking-up multiple views of a Text: Discourse and Reference |
| 00AD99 |
Christopher Lynch [États-Unis] ; Polina Strogova [France] | SOUR graphs for efficient completion |
| 00B227 |
Nancy A. Lutz [États-Unis] ; V. Padmanabhan [États-Unis] | Warranties, extended warranties, and product quality |
| 00B232 |
Nancy A. Brown [États-Unis] | The telemedicine information exchange: an online resource |
| 00B249 |
I. Illina [France] ; M. Afify [France] ; Y. Gong [États-Unis] | Environment normalization training and environment adaptation using mixture stochastic trajectory model |
| 00B263 |
Mark Sanderson [États-Unis] | Book Reviews |
| 00B293 |
Daniel Barlet [France] ; Jon Magnusson [États-Unis] | Intégration de classes de cohomologie méromorphes et diviseurs d'incidence |
| 00B312 |
Christopher Lynch [États-Unis] | The unification problem for one relation Thue Systems |
| 00B315 |
Hoon Hong [États-Unis] ; Dalibor Jakuš [Autriche] | Testing Positiveness of Polynomials |
| 00B319 |
Reiner H Hnle [Allemagne] ; Neil V. Murray [États-Unis] ; Erik Rosenthal [États-Unis] | Some Remarks on Completeness, Connection Graph Resolution, and Link Deletion |
| 00B329 |
Barbara Staudt Lerner [États-Unis] ; Leon J. Osterweil [États-Unis] ; Stanley M. Sutton Jr. [États-Unis] ; Alexander Wise [États-Unis] | Programming process coordination in Little-JIL |
| 00B353 |
Michael C. Zerner [États-Unis] | List of participants |
| 00B359 |
Jean-Camille Birget [États-Unis] | Infinite String Rewrite Systems and Complexity |
| 00B365 |
Philip Feinsilver [États-Unis] ; René Schott [France] | Formal power series, operator calculus, and duality on Lie algebras |
| 00B371 |
Henry Lardy [États-Unis] ; Nancy Kneer [États-Unis] ; Yong Wei [États-Unis] ; Bruce Partridge [États-Unis] ; Padma Marwah [États-Unis] | Ergosteroids II: Biologically Active Metabolites and Synthetic Derivatives of Dehydroepiandrosterone |
| 00B380 |
Philip Feinsilver [États-Unis] ; René Schott [France] | Computing Representations of a Lie Group via the Universal Enveloping Algebra |
| 00B385 |
Christopher Lynch [États-Unis] ; Christelle Scharff [France] | Basic Completion with E-cycle Simplification |
| 00B388 |
Catherine M. Champagne [États-Unis] ; Nancy B. Baker [États-Unis] ; James P. Delany [États-Unis] ; David W. Harsha [États-Unis] ; George A. Bray [États-Unis] | Assessment of Energy Intake Underreporting by Doubly Labeled Water and Observations on Reported Nutrient Intakes in Children |
| 00B394 |
Nachum Dershowitz [États-Unis] ; Ralf Treinen [France] | An on-line problem database |
| 00B397 |
Hélène Kirchner [France] ; Peter D. Mosses [États-Unis, Danemark] | Algebraic Specifications, Higher-Order Types and Set-Theoretic Models |
| 00B406 |
Gary G. Mou [États-Unis] | A Graph Based Process Representation for Process Modeling |
| 00B426 |
H. Hermansky [États-Unis, République tchèque] | Should recognizers have ears? |
| 00B428 |
B. E. D. Kingsbury [États-Unis] ; N. Morgan [États-Unis] ; S. Greenberg [États-Unis] | Robust speech recognition using the modulation spectrogram |
| 00B430 |
C.-H. Lee [États-Unis] | On stochastic feature and model compensation approaches to robust speech recognition |
| 00B441 |
B. L. Pellom [États-Unis] ; J. H. L. Hansen [États-Unis] | Automatic segmentation of speech recorded in unknown noisy channel characteristics |
| 00B443 |
M. Afify [France] ; YIFAN GONG [États-Unis] ; Jean-Paul Haton [France] | A general joint additive and convolutive bias compensation approach applied to noisy lombard speech recognition |
| 00B530 |
Martial Michel [France] ; Judith Ellen Devaney [États-Unis] | AutoMap et AutoLink : Outils aidant à la gestion de types de données avec MPI |
| 00B542 |
Dan Cristea [Roumanie] ; Nancy Ide [États-Unis] ; Laurent Romary [France] | Veins Theory: A Model of Global Discourse Cohesion and Coherence |
| 00B582 |
Laurent Vigneron [France] ; Anita Wasilewska [États-Unis] | Rough Sets Congruences and Diagrams |
| 00B583 |
Laurent Vigneron [France] ; Anita Wasilewska [États-Unis] | Rough Diagrams |
| 00B584 |
Anita Wasilewska [États-Unis] ; Laurent Vigneron [France] | Rough Algebras & Automated Deduction |
| 00B613 |
Miki Hermann [France] ; Laurent Juban [France] ; Phokion G. Kolaitis [États-Unis] | On the Complexity of Counting the Hilbert Basis of a Linear Diophantine System |
| 00BB12 |
R M Loria [États-Unis] | Antiglucocorticoid function of androstenetriol. |
| 00BB20 |
Zena M. Ariola [États-Unis] ; Matthias Felleisen [États-Unis] | The call-by-need lambda calculus |
| 00BB26 |
Glenn T. Fujiura [États-Unis] ; Nancy Fitzsimons [États-Unis] ; Beth Marks [États-Unis] ; Brian Chicoine [États-Unis] | Predictors of BMI among adults with down syndrome: The social context of health promotion |
| 00BB28 |
Shou-Hsuan S. Huang [États-Unis] ; Hongfei Liu [États-Unis] ; Rakesh M. Verma [États-Unis] | On embedding rectangular meshes into rectangular meshes of smaller aspect ratio |
| 00BB92 |
Walter M. Neuenschwander [Suisse] ; Pascal Fua [Suisse] ; Lee Iverson [États-Unis] ; Gábor Székely [Suisse] ; Olaf Kübler [Suisse] | Ziplock Snakes |
| 00BB94 |
Nancy E. Schwartz [États-Unis] ; Susan T. Borra [États-Unis] | What do Consumers Really Think About Dietary Fat? |
| 00BB96 |
Kathryn S. Keim [États-Unis] ; Beth Stewart [États-Unis] ; Jane Voichick [États-Unis] | Vegetable and Fruit Intake and Perceptions of Selected Young Adults |
| 00BC01 |
David T. Barnard [Canada] ; Nancy M. Ide [États-Unis] | The text encoding initiative: Flexible and extensible document encoding |
| 00BC03 |
Stanley M. Sutton Jr. [États-Unis] ; Leon J. Osterweil [États-Unis] | The design of a next-generation process language |
| 00BC04 |
Bernhard Steffen [États-Unis] ; Tiziana Margaria [États-Unis] ; Volker Braun [États-Unis] | The Electronic Tool Integration platform: concepts and design |
| 00BC14 |
Adel Bouhoula [États-Unis, France] ; Jean-Pierre Jouannaud [États-Unis, France] ; José Meseguer [États-Unis] | Specification and proof in membership equational logic |
| 00BC17 |
Rakesh Khetarpal [États-Unis] ; S. Krishna Dronamraju [États-Unis] | SMART—a solution for managing the capacity, growth, and performance of wireless networks |
| 00BC18 |
Nancy A. Obuchowski [États-Unis] ; Donna Katzman Mcclish [États-Unis] | SAMPLE SIZE DETERMINATION FOR DIAGNOSTIC ACCURACY STUDIES INVOLVING BINORMAL ROC CURVE INDICES |
| 00BC20 |
M. R. K. Krishna Rao [Inde, Australie] ; D. Kapur [États-Unis] ; R. K. Shyamasundar [Inde] | Proving termination of GHC programs |
| 00BC23 |
Daniel Leivant [États-Unis] ; Jean-Yves Marion [France] | Predicative functional recurrence and poly-space |
| 00BC30 |
Miki Hermann [France] ; Phokion G. Kolaitis [États-Unis] | On the complexity of unification and disunification in commutative idempotent semigroups |
| 00BC39 |
James R. Thieman [États-Unis] | Large Database Access and Usage in the Earth and Space Sciences through Computer Networks |
| 00BC41 |
Ram D. Sriram [États-Unis] | Knowledge-Based System Building Tools |
| 00BC46 |
Peter Eades [Australie] ; Joe Marks [États-Unis] ; Stephen North [États-Unis] | Graph-Drawing contest report |
| 00BC47 |
Christopher Lynch [États-Unis] | Goal-Directed Completion using SOUR Graphs |
| 00BC56 |
Philip Feinsilver [États-Unis] ; Uwe Franz [Allemagne, France] ; René Schott [France] | Duality and Multiplicative Stochastic Processes on Quantum Groups |
| 00BC70 |
Richard Washington [États-Unis] | BI-POMDP: Bounded, incremental partially-observable Markov-model planning |
| 00BC71 |
Adel Bouhoula [États-Unis] | Automated Theorem Proving by Test Set Induction |
| 00BC82 |
Deepak Kapur [États-Unis] ; G. Sivakumar [Inde] | A total, ground path ordering for proving termination of AC-rewrite systems |
| 00BD03 |
R. Fiengo [États-Unis] ; R. May [États-Unis] ; A. Reboul | L'importance sémantique de l'identité syntaxique |
| 00BD04 |
N. Asher [États-Unis] ; A. Reboul | Evénements, faits, propositions et anaphore évolutive |
| 00BD17 |
L. Alonso [France] ; E. M. Reingold [États-Unis] ; R. Schott [France] | The average-case complexity of determining the majority |
| 00BD23 |
M. A. Gernsbacher [États-Unis] | Generic pronominal anaphora : The case of the English "Singular They" |
| 00BD24 |
I. Illina [France] ; Y. Gong [États-Unis] | Elimination of trajectory folding phenomenon : HMM, trajectory mixture HMM and mixture stochastic trajectory model |
| 00BD29 |
M. Afify [France] ; Y. Gong [États-Unis] ; Jean-Paul Haton [France] | A unified maximum likelihood approach to acoustic mismatch compensation : Application to noisy lombard speech recognition |
| 00BF31 |
Konstantin L Ufer [États-Unis] | Type classes with existential types |
| 00BF32 |
Jean-Claude Junqua [États-Unis, Colombie] | The influence of acoustics on speech production: A noise-induced stress phenomenon known as the Lombard reflex |
| 00BF33 |
Roger D. Maddux [États-Unis] | Relation-algebraic semantics |
| 00BF38 |
P. Feinsilver [États-Unis] ; R. Schott [France] | Operator calculus approach to orthogonal polynomial expansions |
| 00BF52 |
Brian K. Bizik [États-Unis] ; Wei Ding [États-Unis] ; Florian L. Cerklewski [États-Unis] | Evidence that bone resorption of young men is not increased by high dietary phosphorus obtained from milk and cheese |
| 00BF65 |
William A. Briggs [États-Unis] ; Somsak Tanawattanacharoen [États-Unis] ; Michael J. Choi [États-Unis] ; Paul J. Scheel Jr [États-Unis] ; Tibor Nadasdy [États-Unis] ; Lorraine Racusen [États-Unis] | Clinicopathologic correlates of prednisone treatment of human immunodeficiency virus-associated nephropathy |
| 00BF70 |
Mario Fracchia [Italie] ; Kenneth D. R. Setchell [États-Unis] ; Andrea Crosignani [Italie] ; Mauro Podda [Italie] ; Nancy O'Connell [États-Unis] ; Roberto Ferraris [Italie] ; Alan F. Hofmann [États-Unis] ; Giovanni Galatola [Italie] | Bile acid conjugation in early stage cholestatic liver disease before and during treatment with ursodeoxycholic acid |
| 00BF80 |
Elaine Clement [États-Unis] | A pilot project to investigate commercial document suppliers |
| 00C004 |
Miki Hermann [France] ; Phokion G. Kolaitis [États-Unis] | Unification algorithms cannot be combined in polynomial time |
| 00C005 |
Jean-Claude Junqua [États-Unis] ; Jean-Paul Haton [France] | Towards Robust Speech Analysis |
| 00C009 |
Yuri Gurevich [États-Unis] ; James K. Huggins [États-Unis] | The railroad crossing problem: An experiment with instantaneous actions and immediate reactions |
| 00C013 |
Donald J. Kridel [États-Unis] ; David E. M. Sappington [États-Unis] ; Dennis L. Weisman [États-Unis] | The effects of incentive regulation in the telecommunications industry: A survey |
| 00C017 |
Philip Feinsilver [États-Unis] ; René Schott [France] | Symbolic computations |
| 00C020 |
Gerald C. Gannod [États-Unis] ; Betty H. C. Cheng [États-Unis] | Strongest postcondition semantics as the formal basis for reverse engineering |
| 00C023 |
Narjes Berregeb [France] ; Adel Bouhoula [France, États-Unis] ; Michaël Rusinowitch [France] | SPIKE-AC: A system for proofs by induction in Associative-Commutative theories |
| 00C028 |
Philip Feinsilver [États-Unis] ; René Schott [France] | Representations of Lie groups |
| 00C036 |
Philip Feinsilver [États-Unis] ; René Schott [France] | Properties of matrix elements |
| 00C044 |
Philip Feinsilver [États-Unis] ; René Schott [France] | Operator calculus and Appell systems |
| 00C045 |
Jean-Claude Junqua [États-Unis] ; Jean-Paul Haton [France] | On the Use of a Robust Speech Representation |
| 00C049 |
Philip Feinsilver [États-Unis] ; René Schott [France] | Nilpotent and solvable algebras |
| 00C050 |
Jean-Claude Junqua [États-Unis] ; Jean-Paul Haton [France] | Nature and Perception of Speech Sounds |
| 00C060 |
Philip Feinsilver [États-Unis] ; René Schott [France] | Introduction |
| 00C062 |
Francois Bronsard [France] ; Uday S. Reddy [États-Unis] ; Robert W. Hasker [États-Unis] | Induction using term orders |
| 00C064 |
Philip Feinsilver [États-Unis] ; René Schott [France] | Hermitian symmetric spaces |
| 00C065 |
Philip Feinsilver [États-Unis] ; René Schott [France] | General Appell systems |
| 00C072 |
Raymond J. Michalowski [États-Unis] | Critical criminology and the critique of domination: The story of an intellectual movement |
| 00C085 |
Philip Feinsilver [États-Unis] ; René Schott [France] | Canonical systems in several variables |
| 00C088 |
Jean-Claude Junqua [États-Unis] ; Jean-Paul Haton [France] | Background on Speech Analysis |
| 00C090 |
Narjes Berregeb [France] ; Adel Bouhoula [France] ; Michaël Rusinowitch [États-Unis, France] | Automated verification by induction with associative-commutative operators |
| 00C092 |
Jean-Claude Junqua [États-Unis] ; Jean-Paul Haton [France] | Application Domain, Human Factors, and Dialogue |
| 00C093 |
Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France] | Any ground associative-commutative theory has a finite canonical system |
| 00C099 |
Philip Feinsilver [États-Unis] ; René Schott [France] | Algebras with discrete spectrum |
| 00C110 |
Adel Bouhoula [France, États-Unis] | A general framework for mechanizing induction using test set |
| 00C112 |
J. A. Bergstra [Pays-Bas] ; T. B. Dinesh [Pays-Bas] ; J. Field [États-Unis] ; J. Heering [Pays-Bas] | A complete transformational toolkit for compilers |
| 00C139 |
L. Vigneron [France] ; A. Wasilewska [États-Unis] | Rough and modal algebras |
| 00C603 |
J.-C. Anigbogu [États-Unis] ; Abdel Belaïd [France] | Hidden Markov models in text recognition |
| 00C606 |
Michael G. Webster [États-Unis] | Using the AMIGOS/OCLC collection analysis CD and student credit hour statistics to evaluate collection growth patterns and potential demand |
| 00C612 |
Simon Giszter [États-Unis] | The case of the missing CVs: Multi-joint primitives |
| 00C628 |
Xuwen Peng [États-Unis] ; C. Max Lang [États-Unis] ; John W. Kreider [États-Unis] | Methylation of cottontail rabbit papillomavirus DNA and tissue-specific expression in transgenic rabbits |
| 00C640 |
J. W. Herrmann [États-Unis] ; G. Ioannou [États-Unis] ; I. Minis [États-Unis] ; R. Nagi [États-Unis] ; J. M. Proth [France] | Design of material flow networks in manufacturing facilities |
| 00C648 |
Swu Yih [États-Unis] ; Chin-Feng Fan [République populaire de Chine] ; Behrooz Shirazi [États-Unis] | Anatomy of safety-critical computing problems |
| 00C654 |
Dan E. Tamir [États-Unis] ; Ravi Ananthakrishnan [États-Unis] ; Abraham Kandel [États-Unis] | A visual debugger for pure Prolog |
| 00C686 |
Ellen A. Rorke [États-Unis] ; James W. Jacobberger [États-Unis] | Transforming Growth Factor-β1 (TGFβ1) Enhances Apoptosis in Human Papillomavirus Type 16-Immortalized Human Ectocervical Epithelial Cells |
| 00C693 |
Nancy M. Ide [États-Unis] ; Michael Sperberg-McQueen [États-Unis] | The TEI: History, goals, and future |
| 00C695 |
Miki Hermann [États-Unis] ; Phokion G. Kolaitis [États-Unis] | The Complexity of Counting Problems in Equational Matching |
| 00C702 |
Peter B. Ladkin [France] ; Barbara B. Simons [États-Unis] | Static Deadlock Analysis for CSP-Type Communications |
| 00C707 |
R. Dicosmo [États-Unis] | Second Order Isomorphic Types: A Proof Theoretic Study on Second Order λ-Calculus with Surjective Pairing and Terminal Object |
| 00C716 |
Daniel Leivant [États-Unis] ; Jean-Yves Marion [France] | Ramified recurrence and computational complexity II: Substitution and poly-space |
| 00C721 |
Nachum Dershowitz [États-Unis] ; Jean-Pierre Jouannaud [France] ; Jan Willem Klop [Pays-Bas] | Problems in rewriting III |
| 00C729 |
Barbara Abrams [États-Unis] ; Sylvia Guendelman [États-Unis] | Nutrient Intake of Mexican-American and Non-Hispanic White Women by Reproductive Status |
| 00C735 |
Deepak Kapur [États-Unis] ; G. Sivakumar [Inde] | Maximal extensions of simplification orderings |
| 00C738 |
Bastiaan R. Bloem [Pays-Bas, États-Unis] ; Dennis J. Beckley ; Jeroen P. P. Van Vugt [Pays-Bas] ; J. Gert Van Dijk [Pays-Bas] ; Michael P. Remler ; J. William Langston [États-Unis] ; Raymund A. C. Roos [Pays-Bas] | Long latency postural reflexes are under supraspinal dopaminergic control |
| 00C746 |
Amy F. Subar [États-Unis] ; Frances E. Thompson [États-Unis] ; Albert F. Smith [États-Unis] ; Jared B. Jobe [États-Unis] ; Regina G. Ziegler [États-Unis] ; Nancy Potischman [États-Unis] ; Arthur Schatzkin [États-Unis] ; Anne Hartman [États-Unis] ; Christine Swanson [États-Unis] ; Laura Kruse [États-Unis] ; Richard B. Hayes [États-Unis] ; Denise Riedel Lewis [États-Unis] ; Linda C. Harlan [États-Unis] | Improving Food Frequency Questionnaires |
| 00C758 |
Nancy Ide [États-Unis] ; Jean Véronis [France] | Encoding dictionaries |
| 00C761 |
Rebecca Dresser [États-Unis] | Dworkin on Dementia: Elegant Theory, Questionable Policy |
| 00C767 |
Joan G. Fischer [États-Unis] ; Mary Ann Johnson [États-Unis] ; Leonard W. Poon [États-Unis] ; Peter Martin [États-Unis] | Dairy Product Intake of The Oldest Old |
| 00C774 |
Miki Hermann [France] ; Phokion G. Kolaitis [États-Unis] | Computational complexity of simultaneous elementary matching problems |
| 00C781 |
P. Feinsilver [États-Unis] ; R. Schott [France] | An operator calculus approach to the evolution of dynamic data structures |
| 00C801 |
Nancy Lynch [États-Unis] ; Roberto Segala [États-Unis] | A comparison of simulation techniques and algebraic techniques for verifying concurrent systems |
| 00C815 |
P. Feinsilver [États-Unis, France] ; U. Franz [France] ; R. Schott | Feynman-Kac formula and appell systems on quantum groups |
| 00C817 |
B. Simonnot [États-Unis] | A cooperation model for video document retrieval |
| 00CC42 |
Gary W. Wood [États-Unis] | Is restricted antigen presentation the explanation for fetal allograft survival? |
| 00CC64 |
Jacques Le Maître ; Nancy Ide [États-Unis] ; Jean Véronis [France] | Modélisation et interrogation de bases de données lexicales |
| 00CC66 |
Abdel Belaïd [France] ; J. C. Anigbogu [États-Unis, France] | Mise à contribution de plusieurs classifieurs pour la reconnaissance de textes multifontes |
| 00CC71 |
R. Hajislam [France] ; Y. Anglade [France] ; J.-C. Junqua [États-Unis] ; Jean-Marie Pierrel [France] | Etude acoustique du réflexe Lombard en vue de la reconnaissance de la parole produite en milieu bruité |
| 00CC76 |
Philip Feinsilver [États-Unis] ; René Schott [France] | Young Tableaux and Combinatorial Enumeration in Parallel Processing |
| 00CC77 |
Miki Hermann [France] ; Phokion G. Kolaitis [États-Unis] | The complexity of counting problems in equational matching |
| 00CC93 |
G. Bourgault [États-Unis] | Robustness of noise filtering by kriging analysis |
| 00CD09 |
Michael A. Proschan [États-Unis] ; Dean A. Follmann [États-Unis] ; Nancy L. Geller [États-Unis] | Monitoring multi‐armed trials |
| 00CD14 |
Philip Feinsilver [États-Unis] ; René Schott [France] | Introduction |
| 00CD17 |
Francois Bronsard [États-Unis, France] ; Uday S. Reddy [États-Unis] ; Robert W. Hasker [États-Unis] | Induction using term orderings |
| 00CD25 |
Philip Feinsilver [États-Unis] ; René Schott [France] | Fourier Transform on Finite Groups and Related Transforms |
| 00CD28 |
Jon G. Riecke [États-Unis] ; Ramesh Subrahmanyam [États-Unis] | Extensions to type systems can preserve operational equivalences |
| 00CD32 |
Philip Feinsilver [États-Unis] ; René Schott [France] | Data Structures & Orthogonal Polynomials |
| 00CD34 |
Edward Cohen [États-Unis] | Computational theory for interpreting handwritten text in constrained domains |
| 00CD45 |
Philip Feinsilver [États-Unis] ; René Schott [France] | Basic Data Structures |
| 00CD49 |
Philip Feinsilver [États-Unis] ; René Schott [France] | Applications of Bessel Functions and Lommel Polynomials |
| 00CD59 |
Amos Nevo [États-Unis] ; Elias M. Stein [États-Unis] | A generalization of Birkhoff's pointwise ergodic theorem |
| 00CD67 |
Susan D. Guild [États-Unis] | A Comprehensive Fetal Monitoring Program for Nursing Practice and Education |
| 00CD70 |
B. Fortier [France] ; J. Castex [France] ; J. L. Cohen [France, États-Unis] ; F. Loyer [France] ; J.-C. Depaule [France] ; A. Berque [France] ; O. Marcel [France] ; S. Ostrowetsky [France] ; F. Darve [France] ; J.-C. Paul [France] ; J.-P. Perrin [France] ; J.-C. Andre [France] ; S. Corbel [France] ; Y. Tsiomis [France] ; A. Leobon [France] ; J.-P. Peneau [France] ; R. Baudouï [France] ; B. Lassus [France] ; V. Biau [France] ; B. Haumont [France] | Formes et paysages |
| 00D119 |
Nancy Ide [États-Unis] ; Jacques Le Maitre [France] ; Jean Véronis [États-Unis, France] | Outline of a model for lexical databases |
| 00D120 |
Nilesh L. Jain [États-Unis] ; Michael G. Kahn [États-Unis] ; Robert E. Drzymala [États-Unis] ; Bahman E. Emami [États-Unis] ; James A. Purdy [États-Unis] | Objective evaluation of 3-d radiation treatment plans: A decision-analytic tool incorporating treatment preferences of radiation oncologists |
| 00D126 |
Laurent Alonso [France] ; Edward M. Reingold [États-Unis] ; René Schott [France] | Determining the majority |
| 00D165 |
Wen Mei W. Hwu [États-Unis] ; Scott A. Mahlke [États-Unis] ; William Y. Chen [États-Unis] ; Pohua P. Chang [États-Unis] ; Nancy J. Warter [États-Unis] ; Roger A. Bringmann [États-Unis] ; Roland G. Ouellette [États-Unis] ; Richard E. Hank [États-Unis] ; Tokuzo Kiyohara [États-Unis] ; Grant E. Haab [États-Unis] ; John G. Holm [États-Unis] ; Daniel M. Lavery [États-Unis] | The superblock: An effective technique for VLIW and superscalar compilation |
| 00D168 |
Jean-Jacques Thomas [États-Unis, Burundi] | Texts on-line |
| 00D177 |
Philip Feinsilver [États-Unis] ; René Schott [France] | Probability and Fock Spaces |
| 00D183 |
Ian Thomas [États-Unis] | Observations on object management systems and process support in environments |
| 00D187 |
Philip Feinsilver [États-Unis] ; René Schott [France] | Moment Systems |
| 00D188 |
Philip Feinsilver [États-Unis] ; René Schott [France] | Matrix Elements |
| 00D189 |
Howard A. Young [États-Unis] ; Nancy A. Jenkins [États-Unis] ; Neal G. Copeland [États-Unis] ; Stephanie Simek [États-Unis] ; Michael I. Lerman [États-Unis] ; Bert Zbar [États-Unis] ; Gladys Glenn [États-Unis] ; John R. Ortaldo [États-Unis] ; Stephen K. Anderson [États-Unis] | Localization of a Novel Natural Killer Triggering Receptor Locus to Human Chromosome 3p23-p21 and Mouse Chromosome 9 |
| 00D192 |
Joseph E. Schwartz [États-Unis] ; Huixing Yuan [États-Unis] ; Nancy R. Mendell [États-Unis] ; Stephen J. Finch [États-Unis] | LISREL modeling of high density lipoprotein cholesterol (HDL) levels in male twins |
| 00D193 |
Philip Feinsilver [États-Unis] ; René Schott [France] | Introductory Noncommutative Algebra |
| 00D194 |
Philip Feinsilver [États-Unis] ; René Schott [France] | Introduction |
| 00D196 |
Richard L. Hall [États-Unis] ; Richard W. Moyer [États-Unis] | Identification of an Amsacta Spheroidin-like Protein within the Occlusion Bodies of Choristoneura Entomopoxviruses |
| 00D197 |
Philip Feinsilver [États-Unis] ; René Schott [France] | Hypergeometric Functions |
| 00D218 |
Philip Feinsilver [États-Unis] ; René Schott [France] | Bernoulli Systems |
| 00D219 |
Philip Feinsilver [États-Unis] ; René Schott [France] | Bernoulli Processes |
| 00D227 |
Nachum Dershowitz [États-Unis] | A taste of rewrite systems |
| 00D232 |
Degi Young [États-Unis] ; Ben Shneiderman [États-Unis] | A graphical filter/flow representation of Boolean queries: A prototype implementation and evaluation |
| 00D241 |
P. Feinsilver [États-Unis] ; J. Kocik [États-Unis] ; R. Schott [France] | Representations and stochastic processes on groups of type-H |
| 00D544 |
Steven A. Sloman [États-Unis] ; Leon Sloman [Canada] | What does evolution tell us about age preferences? |
| 00D545 |
Donald Symons [États-Unis] | What do men want? |
| 00D546 |
Pierre L. Van Den Berghe [États-Unis] | Wanting and getting ain't the same |
| 00D550 |
Norval D. Glenn [États-Unis] | Toward a more complete integration of evolutionary and other perspectives on age preferences in mates |
| 00D558 |
Nancy J. Lane [Royaume-Uni] ; Thomas S. Reese [États-Unis] ; Bechara Kachar [États-Unis] | Structural domains of the tight junctional intramembrane fibrils |
| 00D559 |
Walter G. Stephan [États-Unis] | Sexual motivation, patriarchy and compatibility |
| 00D562 |
Andrzej Niemierko [États-Unis] | Random search algorithm (RONSC) for optimization of radiation therapy with both physical and biological end points and constraints |
| 00D565 |
Betty M. Bayer [États-Unis] | On the separation of reproduction from mating preferences |
| 00D566 |
Richard Lippa [États-Unis] | On building bridges between social psychology and evolutionary biology |
| 00D569 |
John Marshall Townsend [États-Unis] | Measuring the magnitude of sex differences |
| 00D577 |
Kim Wallen [États-Unis] | Evolutionary hypothesis testing: Consistency is not enough |
| 00D579 |
Donn Byrne [États-Unis] ; Kathryn Kelley [États-Unis] | Differential age preferences: The need to test evolutionary versus alternative conceptualizations |
| 00D581 |
Donald A. Dewsbury [États-Unis] | Continuing a long tradition |
| 00D583 |
James A. O'Neill Jr. [États-Unis] | Choledochal cyst |
| 00D592 |
George Levinger [États-Unis] ; Lee A. Kirkpatrick [États-Unis] | Biological versus social psychological bases of mate selection |
| 00D593 |
John Dupré [États-Unis] | Arbitrariness and bias in evolutionary speculation |
| 00D597 |
Douglas T. Kenrick [Burundi, États-Unis] ; Richard C. Keefe [Burundi] | Age preferences in mates reflect sex differences in human reproductive strategies |
| 00D652 |
Noel Cressie [États-Unis] ; Dale L. Zimmerman [États-Unis] | On the stability of the geostatistical method |
| 00D659 |
Randall W. Reyer [États-Unis] ; Willisa Liou [États-Unis, République populaire de Chine] ; Carlin A. Pinkstaff [États-Unis] | Morphology and glycoconjugate histochemistry of the palpebral glands of the adult newt, Notophthalmus viridescens |
| 00D670 |
Maryse Bourdon [États-Unis] | Impact of the supported coordination levels on process modelling techniques |
| 00D679 |
Ron Williams ; Debra Walsh ; James White [États-Unis] ; Merrill Jackson [États-Unis] ; Judy Mumford [États-Unis] | Effect on Carbon Monoxide Levels in Mobile Homes Using Unvented Kerosene Heaters for Residential Heating |
| 00D681 |
Jean H. Gallier [États-Unis] ; Wayne Snyder [États-Unis] | Designing Unification Procedures Using Transformations: A Survey |
| 00D697 |
P. Feinsilver [États-Unis] ; R. Schott [France] | Appell systems on Lie groups |
| 00D700 |
H. W. Moser [États-Unis] ; A. B. Moser [États-Unis] ; K. D. Smith [États-Unis] ; A. Bergin [États-Unis] ; J. Borel [États-Unis] ; J. Shankroff [États-Unis] ; O. C. Stine [États-Unis] ; C. Merette [États-Unis] ; J. Ott [États-Unis] ; W. Krivit [États-Unis] ; E. Shapiro [États-Unis] | Adrenoleukodystrophy: Phenotypic variability and implications for therapy |
| 00D985 |
Jean-Claude Junqua [États-Unis] | Toward robustness in isolated-word automatic speech recognition |
| 00D987 |
Mark Langer [États-Unis] ; Peter Kijewski [États-Unis] ; Richard Brown [États-Unis] ; Chul Ha [États-Unis] | The effect on minimum tumor dose of restricting target-dose inhomogeneity in optimized three-dimensional treatment of lung cancer |
| 00D998 |
Steven E. Smith [États-Unis] | Fault coverage in plant protection systems |
| 00DA04 |
J. Mckendree [États-Unis] | Cognitive ergonomics and human-computer interaction |
| 00DA05 |
B. Boulet [États-Unis] ; B. Chhabra [États-Unis] ; G. Harhalakis [États-Unis] ; I. Minis [États-Unis] ; J. M. Proth [France] | Cell controllers: Analysis and comparison of three major projects |
| 00DA08 |
Jean Claude Junqua [États-Unis] | A two-pass hybrid system using a low dimensional auditory model for speaker-independent isolated-word recognition |
| 00DA37 |
Donald W. Reinfurt [États-Unis] ; J. Richard Stewart [États-Unis] ; Nancy L. Weaver [États-Unis] | The economy as a factor in motor vehicle fatalities, suicides, and homicides |
| 00DA38 |
Barbara S. Plake [États-Unis] ; Jane Close Conoley ; Jack J. Kramer ; Linda U. Murphy | The Buros Institute of Mental Measurements: Commitment to the Tradition of Excellence |
| 00DA63 |
P. Feinsilver [États-Unis] ; R. Schott [France] | Krawtchouk Polynomials and Finite Probability Theory |
| 00DA67 |
Judith Brown [États-Unis] | Images for insight: From the research lab to the classroom |
| 00DA68 |
Wayne Snyder [États-Unis] ; Christopher Lynch [États-Unis] | Goal directed strategies for paramodulation |
| 00DA69 |
Nancy Rumfield [États-Unis] | Getting started with CD-ROM |
| 00DA73 |
Nancy J. Schmidt [États-Unis] | Ethnography on Stage |
| 00DA74 |
Henri Lombardi [France, États-Unis] ; Marie-Françoise Roy [France, États-Unis] | Elementary constructive theory of ordered fields |
| 00DA85 |
Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France] | Any ground associative-commutative theory has a finite canonical system |
| 00DD58 |
Steven M. Morrill [États-Unis] ; Isaac I. Rosen [États-Unis] ; Richard G. Lane [États-Unis] ; James A. Belli [États-Unis] | The influence of dose constraint point placement on optimized radiation therapy treatment planning |
| 00DD66 |
Bettye B. Burkhalter [États-Unis] ; Mitchell R. Sharpe [États-Unis] | Mercury-Redstone: The first American man-rated space launch vehicle |
| 00DD74 |
G. Harhalakis [États-Unis] ; C. P. Lin [États-Unis] ; H. Hillion [France] ; K. Y. Moy [États-Unis] | Development of a factory level CIM model |
| 00DD77 |
Steven M. Morrill [États-Unis] ; Richard G. Lane [États-Unis] ; Isaac I. Rosen [États-Unis] | Constrained simulated annealing for optimized radiation therapy treatment planning |
| 00DE08 |
Amy Felty [France] ; Elsa Gunter [États-Unis] ; Dale Miller [États-Unis] ; Frank Pfenning [États-Unis] | Tutorial on λProlog |
| 00DE15 |
Françoise Bellegarde [États-Unis] ; Pierre Lescanne [France] | Termination by completion |
| 00DE33 |
Philip Feinsilver [États-Unis] | Lie algebras and recurrence relations III: q -analogs and quantized algebras |
| 00DE37 |
Stephen G. Miller [États-Unis] ; Robert F. Leclerc [États-Unis] ; Gregory W. Erdos [États-Unis] | Identification and characterization of a testis-specific isoform of a chaperonin in a moth, Heliothis virescens |
| 00DE43 |
T. Allan Pryor [États-Unis] | Development of decision support systems |
| 00DE52 |
Siva Anantharaman [France] ; Jieh Hsiang [République populaire de Chine, États-Unis] | Automated proofs of the moufang identities in alternative rings |
| 00DE61 |
Deepak Kapur [États-Unis] ; G. Sivakumar [États-Unis] ; Hantao Zhang [États-Unis] | A new method for proving termination of AC-rewrite systems |
| 00DE63 |
Françoise Bellegarde [États-Unis] | A matching process modulo a theory of categorical products |
| 00DF91 |
Andrew C. Issekutz [Canada] ; Dennis M. Roland [États-Unis] ; Richard A. Patrick [États-Unis] | The effect of FUT-175 (nafamstat mesilate) on C3a, C4a and C5a generation in vitro and inflammatory reactions in vivo |
| 00DF94 |
Richard C. Loria [États-Unis] ; Nancy Finnerty [États-Unis] ; H. James Wedner [États-Unis] | Successful use of aztreonam in a patient who failed oral penicillin desensitization |
| 00DF95 |
William D. Powlis [États-Unis] ; Martin D. Altschuler [États-Unis] ; Yair Censor [Israël] ; E. Loren Buhle Jr. [États-Unis] | Semi-automated radiotherapy treatment planning with a mathematical model to satisfy treatment goals |
| 00E008 |
Amparo Alonso-Betanzos [États-Unis] ; Lawrence D. Devoe [États-Unis] ; Ram N A. Castillo [États-Unis] ; Vicente Moret-Bonillo [États-Unis] ; Carlos Hernández-Sande [Espagne] ; Nancy S. Searle [États-Unis] | FOETOS in clinical practice: A retrospective analysis of its performance |
| 00E009 |
Michael M. Kimberley [États-Unis] | Exhalative origins of iron formations |
| 00E018 |
Barbara Kass-Annese [États-Unis] ; Kathy Irene Kennedy [États-Unis] ; Katherine Forrest [États-Unis] ; Hal Danzer [États-Unis] ; Anthony Reading [États-Unis] ; Holly Hughes [États-Unis] | A study of the vaginal contraceptive sponge used with and without the fertility awareness method |
| 00E020 |
F. Alabert [États-Unis] ; J. L. Mallet [France] | A local grid updating scheme for interpolation |
| 00E034 |
Nancy Council Maguire [États-Unis] | Variations in interpretation of gynecologic cytology photomicrographs |
| 00E049 |
C. Hilmon Castle [États-Unis] ; Robert A. Wolbach [États-Unis] | Long-term systemic arterial blood pressure control with nicardipine |
| 00E052 |
Hassan Ait-Kaci [États-Unis] ; Roger Nasr [États-Unis] | Integrating logic and functional programming |
| 00E057 |
Wayne Snyder [États-Unis] | Efficient ground completion |
| 00E061 |
Luanne J. Wolfgram [États-Unis] ; Noel R. Rose [États-Unis] | Coxsackievirus infection as a trigger of cardiac autoimmunity |
| 00E070 |
Stephen J. Garland [États-Unis] ; John V. Guttag [États-Unis] | An overview of LP, the Larch Prover |
| 00E076 |
Nancy M. Ide [États-Unis] | A statistical measure of theme and structure |
| 00E282 |
Alma Siflinger-Birnboim [États-Unis] ; Jeffrey A. Cooper [États-Unis] ; Peter J. Del Vecchio [États-Unis] ; Hazel Lum [États-Unis] ; Asrar B. Malik [États-Unis] | Selectivity of the endothelial monolayer: Effects of increased permeability |
| 00E296 |
Utpal Roy [États-Unis] ; C. R. Liu [États-Unis] | Feature-based representational scheme of a solid modeler for providing dimensioning and tolerancing information |
| 00E299 |
James C. Fuscoe [États-Unis] ; Rebekah Wu [États-Unis] ; Nancy H. Shen [États-Unis] ; Susan K. Healy [États-Unis] ; James S. Felton [États-Unis] | Base-change analysis of revertants of the hisD3052 allele in Salmonella typhimurium |
| 00E324 |
J L. Lassez [États-Unis] ; M. J. Maher [États-Unis] ; K. Marriott [États-Unis, Australie] | Unification revisited |
| 00E334 |
Nachum Dershowitz [États-Unis] ; G. Sivakumar [États-Unis] | Solving goals in equational languages |
| 00E339 |
Deepak Kapur [États-Unis] ; Hantao Zhang [États-Unis] | Proving equivalence of different axiomatizations of free groups |
| 00E342 |
Mary A. Mcevoy [États-Unis] ; Vey M. Nordquist ; Sandra Twardosz ; Kelly A. Heckaman ; Joseph H. Wehby ; R. Kenton Denny | PROMOTING AUTISTIC CHILDREN'S PEER INTERACTION IN AN INTEGRATED EARLY CHILDHOOD SETTING USING AFFECTION ACTIVITIES |
| 00E343 |
Claude Kirchner [France] ; Hélène Kirchner [France] ; José Meseguer [États-Unis] | Operational semantics of OBJ-3 |
| 00E351 |
James D. Eckert [États-Unis] | Late Ordovician extinction of North American and British crinoids |
| 00E357 |
Jean Gallier ; Paliath Narendran [États-Unis] ; David Plaisted ; Stan Raatz [États-Unis] ; Wayne Snyder | Finding canonical rewriting systems equivalent to a finite set of ground equations in polynomial time |
| 00E359 |
Paliath Narendran [États-Unis] ; Friedrich Otto [États-Unis] | Elements of finite order for finite weight-reducing and confluent thue systems |
| 00E360 |
Nancy Council Maguire [États-Unis] | Current use of the papanicolaou class system in gynecologic cytology |
| 00E363 |
Sangit Chatterjee [États-Unis] ; Nancy Jo Delaney [États-Unis] | Contingencies for analysis of contingency tables: More on the chi‐squared test |
| 00E369 |
Nachum Dershowitz [États-Unis] ; Mitsuhiro Okada [Canada] ; G. Sivakumar [États-Unis] | Canonical conditional rewrite systems |
| 00E380 |
Nancy Oyster [États-Unis] ; Fred W. Smith [États-Unis] | A postmortem Correlation of four techniques of assessment of osteoporosis with force of bone compression |
| 00E546 |
Margaret S. Powell [États-Unis] ; Deborah Smith Johnston [États-Unis] ; Ellen P. Conrad [États-Unis] | The use of OCLC for cataloging U.S. government publications: A feasibility study |
| 00E548 |
Clair Haakenson [États-Unis] ; Carol L. Fye [États-Unis] ; Mike R. Sather [États-Unis] ; Dennis J. Toussaint [États-Unis] | The investigator-sponsored IND in clinical trials |
| 00E550 |
Edward J. Bottone [États-Unis] ; Ira F. Salkin [États-Unis] ; Nancy J. Hurd [États-Unis] ; Gary P. Wormser [États-Unis] | Serogroup Distribution of Cryptococcus neoformans in Patients with AIDS |
| 00E554 |
John F. Modlin [États-Unis] ; Marla Bowman [États-Unis] | Perinatal Transmission of Coxsackievirus B3 in Mice |
| 00E602 |
Robert J. Wills [États-Unis] ; Nadia Choma [États-Unis] ; Gerard Buonpane [États-Unis] ; Amy Lin [États-Unis] ; Nancy Keigher [États-Unis] | Relative bioavailability of rimantadine HCI tablet and syrup formulations in healthy subjects |
| 00E606 |
Jieh Hsiang [États-Unis] ; Michael Rusinowitch [France] | On word problems in equational theories |
| 00E607 |
Deepak Kapur [États-Unis] ; Paliath Narendran [États-Unis] ; Hantao Zhang [États-Unis] | On sufficient-completeness and related properties of term rewriting systems |
| 00E622 |
Paul Walton Purdom Jr. [États-Unis] | Detecting looping simplifications |
| 00E624 |
Joseph Goguen [États-Unis] ; Claude Kirchner [États-Unis] ; José Meseguer [États-Unis] | Concurrent term rewriting as a model of computation |
| 00E625 |
Lorraine Dittrich Eyde [États-Unis] ; Dennis M. Kowal [États-Unis] | Computerised Test Interpretation Services: Ethical and Professional Concerns Regarding U.S. Producers and Users |
| 00E782 |
Rong-Ine Ma [États-Unis] ; Neville R. Kallenbach [États-Unis] ; Richard D. Sheardy [États-Unis] ; Mary L. Petrillo [États-Unis] ; Nadrian C. Seeman [États-Unis] | Three-arm nucleic acid junctions are flexible |
| 00E788 |
Joan L. Richards [États-Unis] | Projective geometry and mathematical progress in mid-Victorian Britain |
| 00E802 |
Michael V. Mannino [États-Unis] ; Cynthia R. Karle [États-Unis] | An extension of the general entity manipulator language for global view definition |
| 00E803 |
John Karlof [États-Unis] ; Nancy Mendell [États-Unis] | An evaluation of typing procedures for quantitative data: Results of a Monte Carlo study |
| 00E826 |
Nancy M. Bonini [États-Unis] ; Michael C. Gustin [États-Unis] ; David L. Nelson [États-Unis] | Regulation of ciliary motility by membrane potential in Paramecium: A role for cyclic AMP |
| 00E830 |
Deepak Kapur [États-Unis] ; Paliath Narendran [États-Unis] ; Hantao Zhang [États-Unis] | Proof by induction using test sets |
| 00E832 |
Diane T. Marsh [États-Unis] ; Joseph Clement ; Nancy L. Stoughton ; Frank Marckioni | Patterns of juvenile criminal activity as a function of demographic, family, and individual variables |
| 00E838 |
Roger M. Loria [États-Unis] ; Louise B. Montgomery [États-Unis] ; Nancy Tuttle-Fuller [États-Unis] ; Hall M. Gregg [États-Unis] ; Vernon M. Chinchilli [États-Unis] | Genetic predisposition to diabetes mellitus is associated with impaired humoral immunity to coxsackievirus B4 |
| 00E840 |
Alex Pelin [États-Unis] ; Jean H. Gallier | Exact computation sequences |
| 00E846 |
Elmer K. Godeny [États-Unis] ; Charles J. Gauntt [États-Unis] ; Eugene A. Sprague [États-Unis] ; Colin J. Schwartz [États-Unis] | Coxsackievirus Group B Replication in Cultured Fetal Baboon Aortic Smooth Muscle Cells |
| 00E848 |
Leo Bachmair [États-Unis] ; Nachum Dershowitz [États-Unis] | Commutation, transformation, and termination |
| 00E849 |
James Michaelson [États-Unis] ; Edward A. Boyse [États-Unis] ; Lisa Ciccia [États-Unis] ; Lorraine Flaherty [États-Unis] ; Erwin Fleissner [États-Unis] ; Ellen Garnick [États-Unis] ; Ulrich H Mmerling [États-Unis] ; Mark Lawrence [États-Unis] ; Peter Mauch [États-Unis] ; Fung Win Shen [États-Unis] | Biochemical genetics of TL antigens |
| 00E858 |
David A. Plaisted [États-Unis] | A simple non-termination test for the Knuth-Bendix method |
| 00E860 |
Jieh Hsiang [États-Unis] ; Michael Rusinowitch [France] | A new method for establishing refutational completeness in theorem proving |
| 00E861 |
Jia-Huai You [Canada] ; P. A. Subrahmanyam [États-Unis] | A class of confluent term rewriting systems and unification |
| 00EA02 |
George Sperling [États-Unis] ; Michael Landy [États-Unis] ; Yoav Cohen [États-Unis] ; M. Pavel [États-Unis] | Intelligible encoding of ASL image sequences at extremely low information rates |
| 00EA31 |
Stavros S. Cosmadakis [États-Unis] ; Paris C. Kanellakis [États-Unis] | Two applications of equational theories to database theory |
| 00EA32 |
Nachum Dershowitz [États-Unis] | Termination |
| 00EA33 |
Daniel M. Berry [États-Unis] ; Jeannette M. Wing [États-Unis] | Specifying and prototyping: Some thoughts on why they are successful |
| 00EA36 |
Jieh Hsiang [États-Unis] | Refutational theorem proving using term-rewriting systems |
| 00EA40 |
Joseph A. Goguen [États-Unis] ; Jean-Pierre Jouannaud [États-Unis, France] ; José Meseguer [États-Unis] | Operational semantics for order-sorted algebra |
| 00EA48 |
C. Welty [États-Unis] | Correcting user errors in SQL |
| 00EA51 |
Kathy Yelick [États-Unis] | Combining unification algorithms for confined regular equational theories |
| 00EA61 |
D. Kapur [États-Unis] ; P. Narendran [États-Unis] ; G. Sivakumar [États-Unis] | A path ordering for proving termination of term rewriting systems |
| 00EC10 |
Beth A. Hart [États-Unis] ; Allen G. Harmsen [États-Unis] ; Robert B. Low [États-Unis] ; Robert Emerson [États-Unis] | Biochemical, cytological, and histological alterations in rat lung following acute beryllium aerosol exposure |
| 00EC40 |
B. Simon [États-Unis] ; B. Souillard [France] | Franco-American meeting on the mathematics of random and almost periodic potentials |
| 00EC50 |
Britta Swebilius Singer [États-Unis] | A hotspot for transition mutations in the rIIB gene of bacteriophage T4 |
| 00EC51 |
Claude Kirchner [France, États-Unis] | A New Equational Unification Method: A Generalisation of Martelli-Montanari’s Algorithm |
| 00EC54 |
Roger Mohr [France] ; Ruzena Bajcsy [États-Unis] | Packing Volumes by Spheres |
| 00EC97 |
Hartwig Meissner [Allemagne] ; Richard J. Fatemen [États-Unis] ; K. D. Graf [Allemagne] ; K. A. Keil [Allemagne] ; H. Lothe [Allemagne] ; Guy Noel [Belgique] ; Donald L. Alderman [États-Unis] ; Rul Guzenhaeuser [Allemagne] ; D. C. Johnson [Royaume-Uni] ; Claudette Vieules [France] ; Andrew R. Molnar [États-Unis] ; Andrea A. Disessa [États-Unis] ; Marilyn N. Suydam [États-Unis] ; Alexander Wynands [Allemagne] | Technology |
| 00ED05 |
B. G. Uzman [États-Unis] ; G. M. Villegas [Venezuela] | Mouse sciatic nerve regeneration through semipermeable tubes: A quantitative model |
| 00ED08 |
Mary Lee O'Connell [États-Unis] | Locus of Control Specific to Pregnancy |
| 00ED09 |
Jalel Mzali [France] ; Jean-Jacques Thiel [France] ; Jeff Reeves ; Jim Conrad [États-Unis] | Letters to the editor |
| 00ED20 |
Glenn C. Hamilton [États-Unis] ; Frederick B. Epstein [États-Unis] ; James Jagger [États-Unis] ; John B. Mccabe [États-Unis] ; Jonathan I. Singer [États-Unis] | A new library for emergency medicine |
| 00ED25 |
Edwin F. Kremer [États-Unis] ; J. Hampton Atkinson Jr. [États-Unis] ; Ronald J. Ignelzi [États-Unis] | Pain measurement: The affective dimensional measure of the McGill pain questionnaire with a cancer pain population |
| 00ED26 |
Jean-Pierre Jouannaud [France] ; Pierre Lescanne [États-Unis] | On multiset orderings |
| 00ED28 |
Alan Graham [États-Unis] | Literature on vegetational history in latin america. Supplement II |
| 00ED43 |
D. F. Merriam [États-Unis] | Advances in automatic processing and mathematical models in geologie |
| 00ED60 |
Nancy M. Flowers [États-Unis] ; Daniel R. Gross [États-Unis] ; Madeline L. Ritter [États-Unis] ; Dennis W. Werner [Brésil] | Variation in Swidden practices in four central Brazilian Indian societies |
| 00ED62 |
Robert F. Williams [États-Unis] ; Gary D. Hodgen [États-Unis] | The reproductive cycle in female macaques |
| 00ED67 |
Patrick Corsi [États-Unis] | Speaker Recognition: A Survey |
| 00ED68 |
S. E. Levinson [États-Unis] | Speaker Independent Connected Word Recognition |
| 00ED73 |
Frederick Jelinek [États-Unis] | Self-Organized Continuous Speech Recognition |
| 00ED81 |
Vishu R. Viswanathan [États-Unis] ; John Makhoul [États-Unis] ; Richard Schwartz [États-Unis] | Medium and Low Bit Rate Speech Transmission |
| 00ED82 |
Hisashi Wakita [États-Unis] | Linear Prediction of Speech and its Application to Speech Processing |
| 00ED83 |
R. Burkhardt [Allemagne] ; R. Bartl [Allemagne] ; B. Frisch [Israël] ; K. J Ger [Allemagne] ; G. Mahl [Allemagne] ; W. Hill [Allemagne] ; G. Kettner [Allemagne] ; F. Bonnel [France] ; J. Teissier [France] ; Y. Allieu [France] ; A. Cazelas [France] ; T. Farkas [Hongrie] ; I. Zimmermann [Hongrie] ; P. Siko [Hongrie] ; T. Viola [Hongrie] ; D. Robles Marin ; R. Broseta ; J. L. Berlanga ; M. Aranda ; M. Marti ; P. Andreu ; Gwo Jaw Wang [États-Unis] ; S. L. Hubbard [États-Unis] ; S. I. Regor [États-Unis] ; E. D. Miller [États-Unis] ; W. G. Stamp [États-Unis] ; G. J. Wang [États-Unis] ; G. J. Rawles [États-Unis] ; J. B. Paolaggi [France] ; J. M. Le Parc [France] ; M. Durigon [France] ; D. Barres [France] ; F. Paolaggi [France] ; F. Blotman [France] ; C. Colette [France] ; L. Monnier [France] ; P. Baldet [France] ; L. Simon [France] ; G. Bouteiller [France] ; J. Arlet [France] ; A. Blasco ; F. Vigoni ; A. Eleftérion ; A. Trias [Canada] ; L. Téot [Canada] ; L. Tétreault [Canada] ; J. Pooley [Royaume-Uni] ; D. N. Walder [Royaume-Uni] ; P. Griss [Allemagne] ; M. Mohr [Allemagne] ; Y. Ishida [Allemagne] ; A. Gaucher [France] ; A. Bertrand [France] ; P. Wiederkehr [France] ; C. Hocquard [France] ; P. Raul [France] ; J. Adolphe [France] ; D. Mess [États-Unis] ; D. Pavel [États-Unis] ; R. Barmada [États-Unis] ; F. Schuind [Belgique] ; A. Schoutens ; W. Verhas ; A. Verschaeren [Belgique] ; J. P. Steib [France] ; G. Lang [France] ; B. Moysses [France] ; K. Kleinklaus [France] ; M. Ram [Suisse] ; J. Theron [France] ; M. Collette [Belgique] ; P. Ficat [France] ; R. Durroux [France] ; E. Horvath [France] ; M. Boussaton [France] ; J. N. Senie [France] ; M. Brookes [Royaume-Uni] ; F. W. Heatley [Royaume-Uni] ; J. F. Connoily [États-Unis] ; D. Chakkalakal [États-Unis] ; M. Kelbel [États-Unis] ; U. Pfister [Allemagne] ; P. J. Gregg [Royaume-Uni] ; C. B. Clayton [Royaume-Uni] ; G. K. Ions [Royaume-Uni] ; S. R. Smith [Royaume-Uni] ; H. Schmelzeisen [Allemagne] ; S. M. Perren [Allemagne] ; B. Rahn [Allemagne] ; T. Albrektsson [Suède] ; T. Albrektsson [Suède] ; I. D. Mccarthy [Royaume-Uni] ; S. P. F. Hughes [Royaume-Uni, États-Unis] ; P. Tothill [Royaume-Uni] ; G. Hooper [Royaume-Uni] ; E. T Ndevold [Danemark] ; J. Bülow [Danemark] ; T. R. Light [États-Unis] ; M. R. Mckinstry ; J. Schnitzer ; J. Ogden [États-Unis] ; P. Vicente [Canada] ; M. A. Gunst [Suisse] ; B. A. Rahn [Suisse] ; U. Lüthy [Suisse] ; S. M. Perren [Suisse] ; I. Mccarthy [Royaume-Uni] ; R. Wootton [Royaume-Uni] ; C. Arnoldi [Danemark] ; C. Bünger [Danemark] ; L. Kery ; M. F. Driessens [Belgique, Suède] ; G. Mortier [Belgique, Suède] ; P. M. Vanhoutte [Belgique] ; M. A. Tran [France] ; Dang Tran Lac [France] ; M. Berlan [France] ; S. Solomon [Afrique du Sud] ; C. M. Schnitzler [Afrique du Sud] ; H. Seftel [Afrique du Sud] ; D. Mendelsohn [Afrique du Sud] ; H. Kundig [Afrique du Sud] ; J. P. Van Vuren [Afrique du Sud] ; R. K. Spence [États-Unis] ; A. Alavi [États-Unis] ; C. F. Barker [États-Unis] ; R. G. Grossman [États-Unis] ; B. Slaven [États-Unis] ; M. E. Steinberg [États-Unis] ; J. Lane [États-Unis] ; J. Benoit [France] ; H. Danon [France] ; A. Lortat-Jacob [France] ; J. Y. Dupont [France] ; M. Durigon [France] ; J. D. Spencer [Royaume-Uni] ; R. Cabannes [Côte d'Ivoire] ; F. Sombo [Côte d'Ivoire] ; E. T. Habermann [Canada] ; M. A. Hartzband [États-Unis] ; H. Zollinger [Suisse] ; St. Kubik [Suisse] ; A. Schreiber [Suisse] ; Ch. Fauchier [France] ; F. Jacqueline [France] ; W. Remagen [Suisse] ; J. M. Saint-André [France] ; T. Vizkelety [Hongrie] ; A. J. Malcolm [Royaume-Uni] ; E. Warda [Pologne] ; P. C. Dell [États-Unis] ; H. Burchardt [États-Unis] ; U. K. Luethi ; R. D. Stroud ; B. A. Rahn ; S. A. Brown ; G. Bauer [Suède] ; L. I. Hanson [Suède] ; J. Palmer [Suède] ; B. Stromqvist [Suède] ; G. D. Hayken [États-Unis] ; D. R. Steinberg [États-Unis] ; J. M. Baixe [France] ; C. T. Brighton [États-Unis] ; S. E. Tooze [États-Unis] ; C. A. L. Bassett [États-Unis] ; M. M. Schink [États-Unis] ; S. N. Mitchell [États-Unis] ; H. Judet [France] ; A. Gilbert [France] ; J. Jude [France] ; H. B. Skinner [États-Unis] ; A. R. Penix [États-Unis] ; S. D. Cook [États-Unis] ; R. J. Haddad Jr. [États-Unis] ; C. Nedjar [France] ; C. Ficat [France] ; P. P. G. Blockx [Belgique] ; C. H. Bauer [Suède] ; J. L. Décamps ; E. H. Bünger [Danemark] ; J. Bülow [Danemark] ; J. C. Djurhuus [Danemark] ; D. Chappard [France] ; J. L. Laurent [France] ; C. Alexandre [France] ; G. Riffat [France] ; S. B. Christensen [Danemark] ; I. Reimann [Danemark] ; O. Henriksen [Danemark] ; J. L. Berlabga ; Y. Andrianne [Belgique] ; F. Burny [Belgique] ; M. Donkerwolcke [Belgique] ; O. Saric [Belgique] ; Taberly [France] ; Pradere [France] ; Regis [France] ; Bru [France] ; Bouzet [France] ; Mazières [France] ; Arlet [France] | International Symposium on bone vascularization |
| 00ED86 |
Jonathan Allen [États-Unis] | Implementation of Models for Speech Recognition with Very Large Scale Integrated Circuit Technology |
| 00ED88 |
Rakesh Govind [États-Unis] ; G. J. Powers [États-Unis] | Control system synthesis strategies |
| 00ED94 |
Victor W. Zue [États-Unis] | Acoustic-Phonetic Knowledge Representation: Implications from Spectrogram Reading Experiments |
| 00EE00 |
Fred Schmidt [États-Unis] ; Harry Welsh [États-Unis] | Technical reports and other non-GPO publications |
| 00EE01 |
Alvin E. Roth [États-Unis] ; Michael W. K. Malouf [États-Unis] ; J. Keith Murnighan [États-Unis] | Sociological versus strategic factors in bargaining |
| 00EE06 |
Gloria Lee [États-Unis] ; Janice Pero [États-Unis] | Conserved nucleotide sequences in temporally controlled bacteriophage promoters |
| 00EE22 |
S. Packman [États-Unis] ; L. Sweetman [États-Unis] ; H. Baker [États-Unis] ; S. Wall [États-Unis] | The neonatal form of biotin-responsive multiple carboxylase deficiency |
| 00EE35 |
Bruce Nock [États-Unis] ; Jeffrey D. Blaustein [États-Unis] ; Harvey H. Feder [États-Unis] | Changes in noradrenergic transmission alter the concentration of cytoplasmic progestin receptors in hypothalamus |
| 00EE36 |
Dolores M. Burton [États-Unis] | Automated concordances and word indexes: The process, the programs, and the products |
| 00EE43 |
Richardo. Bicks [États-Unis] ; E. W. Rosenberg [États-Unis] | REVERSAL OF ANERGY IN CROHN'S DISEASE BY CIMETIDINE |
| 00EE44 |
David Sappington [États-Unis] | Precontractual information asymmetry between principal and agent |
| 00EE48 |
Barbara J. Meyer [États-Unis] ; Russell Maurer [États-Unis] ; Mark Ptashne [États-Unis] | Gene regulation at the right operator ( O R) of bacteriophage λ |
| 00EE71 |
Nancy K. Stanton [États-Unis] | The heat equation for the $$\bar \partial - Neumann$$ problem in a strictly pseudoconvex Siegel domainproblem in a strictly pseudoconvex Siegel domain |
| 00EE80 |
P. D. Buchanan [États-Unis] ; S. G. Kahler [États-Unis] ; L. Sweetman [États-Unis] ; W. L. Nyhan [États-Unis] | Pitfalls in the prenatal diagnosis of propionic acidemia |
| 00EE82 |
James W. Thatcher [États-Unis] ; Eric G. Wagner [États-Unis] ; Jesse B. Wright [États-Unis] | More on advice on structuring compilers and proving them correct |
| 00EE83 |
Robert F. Wideman Jr. [États-Unis] | Innervation of the parathyroid in the european starling (Sturnus vulgaris) |
| 00EE90 |
Henry T. Davis [États-Unis] ; Michael L. Feldstein [États-Unis] | The generalized Pareto law as a model for progressively censored survival data |
| 00EE94 |
Jennifer L. Rojko [États-Unis] ; Edward A. Hoover [États-Unis] ; Lawrence E. Mathes [États-Unis] ; Richard G. Olsen [États-Unis] ; Joseph P. Schaller [États-Unis] | Pathogenesis of Experimental Feline Leukemia Virus Infection |
| 00EF00 |
Steven Y. Moon [États-Unis] ; Robert F. Woolson [États-Unis] ; Judy A. Bean [États-Unis] | A computer program for survival comparisons to a standard population |
| 00EF01 |
Richard Falk [États-Unis] | A World Order Perspective on Authoritarian Tendencies |
| 00EF11 |
Constantine Kaniklidis [États-Unis] ; Leslie Mezei ; Richard Kittredge [Canada] ; Albert C. E. Parker ; Hugh F. Cline [États-Unis] ; Frank H. Nuessel Jr. [États-Unis] ; James M. Beshers [États-Unis] ; G. A. Clark [États-Unis] ; John F. Hall [Royaume-Uni] ; Catherine Findler [États-Unis] ; Nathan A. Greenberg [États-Unis] ; T. J. Cartwright ; V. M. Du Feu ; Pauline Atherton [États-Unis] ; Gerd Althoff ; John Rothman ; Joseph Raben [États-Unis] ; Mimi Penchansky | Book reviews |
| 00EF14 |
Gerald S. Manning [États-Unis] | The molecular theory of polyelectrolyte solutions with applications to the electrostatic properties of polynucleotides |
| 00EF36 |
Joan Argetsinger Steitz [États-Unis] ; Ruth A. Bryan [États-Unis] | Two ribosome binding sites from the gene 0.3 messenger RNA of bacteriophage T7 |
| 00EF50 |
Zvi Galil [États-Unis] | Some open problems in the theory of computation as questions about two-way deterministic pushdown automaton languages |
| 00EF51 |
John E. Clark [Canada] ; R. L. Widmann ; Jean Tague [Canada] ; Philip R. Vandermeer ; Richard A. Bassler ; Marie Christine Duchenne [France] ; Nancy Joe Dyer [États-Unis] ; R. Lynn Sauls [États-Unis] | Reviews |
| 00EF52 |
Nancy L. Niesz [États-Unis] | Periodicity and self‐actualization in women |
| 00EF57 |
Ed Vitz [États-Unis] ; P. J. Wagner [États-Unis] ; C. H. Brubaker Jr. [États-Unis] | Photochemical reactions of bis(η5-cyclopentadienyl)- titanium dichloride |
| 00EF60 |
John M. Cubitt [États-Unis] | Data analysis for scientists and engineers |
| 00EF69 |
William H. Maehl [États-Unis] | August Bebel and the Development of a Responsible German Socialist Foreign Policy, 1878-96 |
| 00EF95 |
William G. Taylor [États-Unis] ; Virginia J. Evans [États-Unis] ; Robert W. Pumper [États-Unis] | Studies on a serum substitute for mammalian cells in culture |
| 00EF96 |
Robert W. Hartle [États-Unis] ; Stewart Umphrey [États-Unis] ; Susan Snow Lukesh [États-Unis] ; Larry J. Murphy ; K. Alber [Allemagne] ; Raoul N. Smith ; Robert D. Hume [États-Unis] ; Ben Ross Schneider [États-Unis] | Reviews |
| 00EF98 |
G. K. Shenoy [France] ; J. M. Friedt [France] ; H. Maletta [Allemagne] ; S. L. Ruby [États-Unis] | Curve Fitting and the Transmission Integral: Warnings and Suggestions |
| 00F002 |
Michael W. Lieberman [États-Unis] | Fractionation of mouse DNA in preparative Ag+-Cs2SO4 gradients |
| 00F011 |
Richard L. Frautschi [États-Unis] | Recent quantitative research in French studies |
| 00F015 |
Howard M. Cann [États-Unis] ; Kenneth K. Kidd [États-Unis] ; Ruben Lisker [États-Unis] ; Ruta Radvany [États-Unis] ; Rose Payne [États-Unis] | Genetic Structure of the HL‐A System in a Nahua Indian Population in Mexico |
| 00F018 |
M. S. Soloff [États-Unis] ; M. J. Morrison [États-Unis] ; T. L. Swartz [États-Unis] | A comparison of the estrone-estradiol-binding proteins in the plasmas of prepubertal and pregnant rats |
| 00F024 |
Nancy C. Flowers [États-Unis] ; Leo G. Horan [États-Unis] | The electrical sequelae of aerosol inhalation |
| 00F052 |
C. W. Jefford [États-Unis] ; W. Wojnarowski [États-Unis] | The stereochemistry of bicyclo[3.2.1]octane—XVIII |
| 00F056 |
Joost J. Oppenheim ; Gideon Goldstein [États-Unis] | Enhanced Thymic Lymphocyte Response to Phytohaemagglutinin in Experimental Autoimmune Thymitis |
| 00F061 |
Udo K. Haack [Allemagne, États-Unis] | Spurenelemente in Biotiten aus Graniten und Gneisen |
| 00F070 |
Charles S. Morrill [États-Unis] ; Nancy C. Goodwin [États-Unis] ; Sidney L. Smith [États-Unis] | User Input Mode and Computer-Aided Instruction |
| 00F074 |
C. G. Krespan [États-Unis] | Negative substituents in the claisen rearrangement |
| 00F078 |
Ichiro Satake [États-Unis] | Symplectic representations of algebraic groups satisfying a certain analyticity condition |
| 00F079 |
Alphonse Chapanis [États-Unis] ; Lorraine C. Scarpa [États-Unis] | Readability of Dials at Different Distances with Constant Visual Angle |
| 00F080 |
Ludwig Bauer [États-Unis] ; C. S. Mahajanshetti [États-Unis] | Pyrazolo‐N‐hydroxyuracils from the modified lossen rearrangement of vicinal pyrazoledicarbohydroxamates |
| 00F082 |
L. Zernow [États-Unis] ; E. A. Tkachenko [États-Unis] ; Nancy B. Brooks [États-Unis] ; R. L. Lansdale [États-Unis] ; G. E. Lewis [États-Unis] | Application of two-dimensional computations to the study of sub-critical initiation and fadeout in a homogeneous explosive |
| 00F084 |
Robert L. Sprague [États-Unis] ; Lorraine K. Toppe | Relationship between activity level and delay of reinforcement in the retarded |
| 00F092 |
Nancy C. Flowers [États-Unis] ; Leo G. Horan [États-Unis] ; G. Daniel Copeland [États-Unis] | Congenital aneurysms of all three sinuses of Valsalva with rupture in an asymptomatic patient |
| 00F110 |
Alfred T. Baum [États-Unis] | Age and sex differences in the dentofacial changes following orthodontic treatment, and their significance in treatment planning |
| 00F114 |
Everett Shapiro [États-Unis] | Current concepts and clinical applications of the edgewise arch mechanism |
| 00F123 |
A. L. Houwink [Pays-Bas, États-Unis] ; Woutera Van Iterson [Pays-Bas, États-Unis] | Electron microscopical observations on bacterial cytology II. A study of flagellation |
| 00F185 |
Lori Ashcraft [États-Unis] ; William A. Anthony ; Patty Blum | Unlock the doors. |
| 00F193 |
Charles Chazot [France] ; Guillaume Jean [France] ; Joel D. Kopple [États-Unis] | Can Outcomes be Improved in Dialysis Patients by Optimizing Trace Mineral, Micronutrient, and Antioxidant Status?: The Impact of Vitamins and their Supplementation. |
